- Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction.Minghui Ma & Ahti-Veikko Pietarinen - 2018 - Journal of Philosophical Logic 47 (6):913-945.details
|
|
Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.details
|
|
A general framework for dynamic epistemic logic: towards canonical correspondences.Shota Motoura - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):50-89.details
|
|
Private Announcements on Topological Spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2018 - Studia Logica 106 (3):481-513.details
|
|
Epistemic protocols for dynamic gossip.Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian & François Schwarzentruber - 2017 - Journal of Applied Logic 20:1-31.details
|
|
Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.details
|
|
Notational Variance and Its Variants.Rohan French - 2019 - Topoi 38 (2):321-331.details
|
|
On knowledge and obligation.Can Başķent, Loes Olde Loohuis & Rohit Parikh - 2012 - Episteme 9 (2):171-188.details
|
|
The language of social software.Jan Eijck - 2010 - Synthese 177 (Suppl 1):77-96.details
|
|
Propositional dynamic logic for searching games with errors.Bruno Teheux - 2014 - Journal of Applied Logic 12 (4):377-394.details
|
|
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution.Fernando R. Velázquez-Quesada, Fernando Soler-Toscano & Ángel Nepomuceno-Fernández - 2013 - Journal of Applied Logic 11 (4):505-522.details
|
|
Group announcement logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.details
|
|
Reasoning Processes as Epistemic Dynamics.Olga Pombo - 2015 - Axiomathes 25 (1):41-60.details
|
|
Inference and update.Fernando Raymundo Velázquez-Quesada - 2009 - Synthese 169 (2):283-300.details
|
|
Determining the environment: a modal logic for closed interaction.Jan Broersen, Rosja Mastop, John-Jules Meyer & Paolo Turrini - 2009 - Synthese 169 (2):351-369.details
|
|
Public and private communication are different: results on relative expressivity.Bryan Renne - 2008 - Synthese 165 (2):225-245.details
|
|
Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.details
|
|
Interrogative Belief Revision in Modal Logic.Sebastian Enqvist - 2009 - Journal of Philosophical Logic 38 (5):527-548.details
|
|
Relating logics of justification and evidence.Igor Sedlár - 2014 - In Punčochář Vít & Dančák Michal (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.details
|
|
El giro dinámico en la epistemología formal: el caso del razonamiento explicativo.Fernando Soler Toscano - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (2):181.details
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.details
|
|
The interrogative model of inquiry meets dynamic epistemic logics.Yacin Hamami - 2015 - Synthese 192 (6):1609-1642.details
|
|
Logics of temporal-epistemic actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.details
|
|
Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.details
|
|
On the use (and abuse) of Logic in Game Theory.Eric Pacuit - 2015 - Journal of Philosophical Logic 44 (6):741-753.details
|
|
At least not false, at most possible: between truth and assertibility of superlative quantifiers.Maria Spychalska - 2018 - Synthese 195 (2):571-602.details
|
|
The expressive power of memory logics.Carlos Areces, Diego Figueira, Santiago Figueira & Sergio Mera - 2011 - Review of Symbolic Logic 4 (2):290-318.details
|
|
Axiomatization and completeness of lexicographic products of modal logics.Philippe Balbiani - 2011 - Journal of Applied Non-Classical Logics 21 (2):141-176.details
|
|
Distributed knowledge.Floris Roelofsen - 2007 - Journal of Applied Non-Classical Logics 17 (2):255-273.details
|
|
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.details
|
|
Public announcements, public assignments and the complexity of their logic.Hans van Ditmarsch, Andreas Herzig & Tiago De Lima - 2012 - Journal of Applied Non-Classical Logics 22 (3):249-273.details
|
|
Completeness of public announcement logic in topological spaces.C. A. N. Baskent - 2011 - Bulletin of Symbolic Logic 17 (1):142.details
|
|
Logic and AI in China: An Introduction. [REVIEW]Fenrong Liu & Kaile Su - 2013 - Minds and Machines 23 (1):1-4.details
|
|
How can questions be informative before they are answered? Strategic information in interrogative games.Emmanuel Genot & Justine Jacot - 2012 - Episteme 9 (2):189-204.details
|
|
Decisions, Actions, and Games, a Logical Perspective.Johan van Benthem - unknowndetails
|
|
Composing models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.details
|
|