- Algebraic semantics of reginement modal logic.Zeinab Bakhtiari, Hans van Ditmarsch & Sabine Frittella - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 38-57.details
|
|
PAC vs. DEMAL. A Dialogical Reconstruction of Public Announcement Logic with Common Knowledge.Sébastien Magnier - unknowndetails
|
|
Toward formalizing common-sense psychology: an analysis of the false-belief task.Konstantine Arkoudas & Selmer Bringsjord - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 17--29.details
|
|
On the logic of lying.Hans van Ditmarsch, Jan van Eijck & Yanjing Wang - unknowndetails
|
|
Rule-based and Resource-bounded: A New Look at Epistemic Logic.Mark Jago - unknowndetails
|
|
A Logic-Based Approach to Pluralistic Ignorance.Jens Ulrik Hansen - 2012 - In Jonas De Vuyst & Lorenz Demey (eds.), Future Directions for Logic: Proceedings of PhDs in Logic II. College Publications. pp. 67-80.details
|
|
Belief and bounded rationality.Mark Jago - unknowndetails
|
|
Generalized DEL-sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.details
|
|
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?Wesley H. Holliday, Yifeng Ding & Cedegao Zhang - 2019 - Electronic Proceedings in Theoretical Computer Science 297:121–139.details
|
|
Logical Dynamics and Dynamical Systems.Rasmus Kraemmer Rendsvig - unknowndetails
|
|
"Knowing value" logic as a normal modal logic.Tao Gu & Yanjing Wang - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 362-381.details
|
|
Memory and perfect recall in extensive games.Giacomo Bonanno - 2004 - Games and Economic Behavior 47 (2):237-256.details
|
|
An Outline of a Substructural Model of BTA Belief.Igor Sedlar - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):160-170.details
|
|
Bounded model checking real-time multi-agent systems with clock differences: theory and implementation.Alessio Lomuscio, Bożena Woźna & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 95--112.details
|
|
Agent-time epistemics and coordination.Ido Ben-Zvi & Yoram Moses - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 97--108.details
|
|
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknowndetails
|
|
A canonical model construction for intuitionistic distributed knowledge.Gerhard Jäger & Michel Marti - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 420-434.details
|
|
A syntactic approach to rationality in games with ordinal payoffs.Giacomo Bonanno - 2008 - In Giacomo Bonanno, Wiebe van der Hoek & Michael Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory. Amsterdam University Press.details
|
|
Symbolic model checking of logics with actions.Charles Pecheur & Franco Raimondi - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 113--128.details
|
|