Naumov, Pavel; Tao, Jia Price of privacy. (English) Zbl 1442.68240 J. Appl. Log. 20, 32-48 (2017). MSC: 68T42 03B42 PDFBibTeX XMLCite \textit{P. Naumov} and \textit{J. Tao}, J. Appl. Log. 20, 32--48 (2017; Zbl 1442.68240) Full Text: DOI
van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François Epistemic protocols for dynamic gossip. (English) Zbl 1401.68017 J. Appl. Log. 20, 1-31 (2017). MSC: 68M12 68M14 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., J. Appl. Log. 20, 1--31 (2017; Zbl 1401.68017) Full Text: DOI Link
Jäger, Gerhard; Marti, Michel Intuitionistic common knowledge or belief. (English) Zbl 1436.03111 J. Appl. Log. 18, 150-163 (2016). MSC: 03B42 03B20 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{M. Marti}, J. Appl. Log. 18, 150--163 (2016; Zbl 1436.03111) Full Text: DOI
Belle, Vaishak; Levesque, Hector J. Robot location estimation in the situation calculus. (English) Zbl 1388.68274 J. Appl. Log. 13, No. 4, Part 1, 397-413 (2015). MSC: 68T40 68T30 68T37 PDFBibTeX XMLCite \textit{V. Belle} and \textit{H. J. Levesque}, J. Appl. Log. 13, No. 4, Part 1, 397--413 (2015; Zbl 1388.68274) Full Text: DOI arXiv
Wáng, Yì N.; Ågotnes, Thomas Relativized common knowledge for dynamic epistemic logic. (English) Zbl 1378.03015 J. Appl. Log. 13, No. 3, 370-393 (2015). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{Y. N. Wáng} and \textit{T. Ågotnes}, J. Appl. Log. 13, No. 3, 370--393 (2015; Zbl 1378.03015) Full Text: DOI
Touazi, Fayçal; Cayrol, Claudette; Dubois, Didier Possibilistic reasoning with partially ordered beliefs. (English) Zbl 1386.03030 J. Appl. Log. 13, No. 4, Part 3, 770-798 (2015). MSC: 03B70 03B42 68T27 68T37 PDFBibTeX XMLCite \textit{F. Touazi} et al., J. Appl. Log. 13, No. 4, Part 3, 770--798 (2015; Zbl 1386.03030) Full Text: DOI
Eppe, Manfred; Bhatt, Mehul A history based approximate epistemic action theory for efficient postdictive reasoning. (English) Zbl 1457.68256 J. Appl. Log. 13, No. 4, Part 3, 720-769 (2015). MSC: 68T27 68Q25 68T20 68T30 PDFBibTeX XMLCite \textit{M. Eppe} and \textit{M. Bhatt}, J. Appl. Log. 13, No. 4, Part 3, 720--769 (2015; Zbl 1457.68256) Full Text: DOI
Velázquez-Quesada, Fernando R.; Soler-Toscano, Fernando; Nepomuceno-Fernández, Ángel An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution. (English) Zbl 1284.03147 J. Appl. Log. 11, No. 4, 505-522 (2013). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{F. R. Velázquez-Quesada} et al., J. Appl. Log. 11, No. 4, 505--522 (2013; Zbl 1284.03147) Full Text: DOI
Liu, Hu; Ren, Yuan; Wen, Xuefeng Simulative belief logic. (English) Zbl 1284.03144 J. Appl. Log. 11, No. 2, 217-228 (2013). MSC: 03B42 PDFBibTeX XMLCite \textit{H. Liu} et al., J. Appl. Log. 11, No. 2, 217--228 (2013; Zbl 1284.03144) Full Text: DOI
Primiero, Giuseppe; Taddeo, Mariarosaria A modal type theory for formalizing trusted communications. (English) Zbl 1254.68247 J. Appl. Log. 10, No. 1, 92-114 (2012). Reviewer: Giacomo Bonanno (Davis) MSC: 68T27 03B42 68T42 PDFBibTeX XMLCite \textit{G. Primiero} and \textit{M. Taddeo}, J. Appl. Log. 10, No. 1, 92--114 (2012; Zbl 1254.68247) Full Text: DOI
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas Cut-free common knowledge. (English) Zbl 1144.03009 J. Appl. Log. 5, No. 4, 681-689 (2007). Reviewer: G. E. Mints (Stanford) MSC: 03B42 03F05 PDFBibTeX XMLCite \textit{G. Jäger} et al., J. Appl. Log. 5, No. 4, 681--689 (2007; Zbl 1144.03009) Full Text: DOI Link
Pacuit, Eric Some comments on history based structures. (English) Zbl 1138.03028 J. Appl. Log. 5, No. 4, 613-624 (2007). MSC: 03B80 03B42 03B44 PDFBibTeX XMLCite \textit{E. Pacuit}, J. Appl. Log. 5, No. 4, 613--624 (2007; Zbl 1138.03028) Full Text: DOI
Raimondi, Franco; Lomuscio, Alessio Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. (English) Zbl 1122.68076 J. Appl. Log. 5, No. 2, 235-251 (2007). MSC: 68Q60 68T27 PDFBibTeX XMLCite \textit{F. Raimondi} and \textit{A. Lomuscio}, J. Appl. Log. 5, No. 2, 235--251 (2007; Zbl 1122.68076) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Open answer set programming for the semantic web. (English) Zbl 1116.68092 J. Appl. Log. 5, No. 1, 144-169 (2007). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{S. Heymans} et al., J. Appl. Log. 5, No. 1, 144--169 (2007; Zbl 1116.68092) Full Text: DOI
Kretz, Mathis; Studer, Thomas Deduction chains for common knowledge. (English) Zbl 1104.03009 J. Appl. Log. 4, No. 3, 331-357 (2006). MSC: 03B42 PDFBibTeX XMLCite \textit{M. Kretz} and \textit{T. Studer}, J. Appl. Log. 4, No. 3, 331--357 (2006; Zbl 1104.03009) Full Text: DOI
Dixon, Clare Using temporal logics of knowledge for specification and verification – a case study. (English) Zbl 1095.68050 J. Appl. Log. 4, No. 1, 50-78 (2006). MSC: 68Q60 03B42 03B44 03B35 91A26 PDFBibTeX XMLCite \textit{C. Dixon}, J. Appl. Log. 4, No. 1, 50--78 (2006; Zbl 1095.68050) Full Text: DOI
Lomuscio, Alessio; Sergot, Marek A formalisation of violation, error recovery, and enforcement in the bit transmission problem. (English) Zbl 1076.68074 J. Appl. Log. 2, No. 1, 93-116 (2004). MSC: 68T27 68T30 03B70 PDFBibTeX XMLCite \textit{A. Lomuscio} and \textit{M. Sergot}, J. Appl. Log. 2, No. 1, 93--116 (2004; Zbl 1076.68074) Full Text: DOI
Goldblatt, Robert Mathematical modal logic: A view of its evolution. (English) Zbl 1041.03015 J. Appl. Log. 1, No. 5-6, 309-392 (2003). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B45 03-03 01A60 03-02 PDFBibTeX XMLCite \textit{R. Goldblatt}, J. Appl. Log. 1, No. 5--6, 309--392 (2003; Zbl 1041.03015) Full Text: DOI