- Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
A verification framework for agent programming with declarative goals.F. S. de Boer, K. V. Hindriks, W. van der Hoek & J. -J. Ch Meyer - 2007 - Journal of Applied Logic 5 (2):277-302.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
Awareness Logic: an Epistemological Defence Correlations between Awareness Logic and Epistemology.Fernández-Fernández Claudia - 2019 - Kairos 22 (1):72–85.details
|
|
Emergent functionality among intelligent systems: Cooperation within and without minds. [REVIEW]Cristiano Castelfranchi & Rosaria Conte - 1992 - AI and Society 6 (1):78-87.details
|
|
Argument evaluation in multi-agent justification logics.Alfredo Burrieza & Antonio Yuste-Ginel - forthcoming - Logic Journal of the IGPL.details
|
|
The KK Principle and the Strong Notion of Knowledge: Hintikka’s Arguments for KK Revisited.Chen Bo - forthcoming - History and Philosophy of Logic:1-17.details
|
|
Two models of unawareness: comparing the object-based and the subjective-state-space approaches.Oliver J. Board, Kim-Sau Chung & Burkhard C. Schipper - 2011 - Synthese 179 (1):13 - 34.details
|
|
Taming the runabout imagination ticket.Francesco Berto - 2018 - Synthese (Suppl 8):2029-2043.details
|
|
The Logic of Framing Effects.Francesco Berto & Aybüke Özgün - 2023 - Journal of Philosophical Logic 52 (3):939-962.details
|
|
Simple Hyperintensional Belief Revision.F. Berto - 2019 - Erkenntnis 84 (3):559-575.details
|
|
On Conceiving the Inconsistent.Francesco Berto - 2014 - Proceedings of the Aristotelian Society 114 (1pt1):103-121.details
|
|
Knowability Relative to Information.Peter Hawke & Franz Berto - 2021 - Mind 130 (517):1-33.details
|
|
Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.details
|
|
Cognitive synonymy: a dead parrot?Francesco Berto & Levin Hornischer - 2023 - Philosophical Studies 180 (9):2727-2752.details
|
|
The dynamics of awareness.Fernando R. Velázquez-Quesada & Johan van Benthem - 2010 - Synthese 177 (S1):5 - 27.details
|
|
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Philippe Balbiani, David Fernández-Duque & Emiliano Lorini - 2019 - Studia Logica 107 (3):457-488.details
|
|
Belief ascription, metaphor, and intensional identification.Afzal Ballim, Yorick Wilks & John Barnden - 1991 - Cognitive Science 15 (1):133-171.details
|
|
Bilattice logic of epistemic actions and knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.details
|
|
Stit -logic for imagination episodes with voluntary input.Christopher Badura & Heinrich Wansing - 2023 - Review of Symbolic Logic 16 (3):813-861.details
|
|
The epistemic structure of a theory of a game.Michael Bacharach - 1994 - Theory and Decision 37 (1):7-48.details
|
|
An Internal Version of Epistemic Logic.Guillaume Aucher - 2010 - Studia Logica 94 (1):1-22.details
|
|
Acquaintance, knowledge, and value.Emad H. Atiq - 2021 - Synthese 199 (5-6):14035-14062.details
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
Logical omniscience as infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.details
|
|
Knowing whether A or B.Maria Aloni, Paul Égré & Tikitu de Jager - 2013 - Synthese 190 (14):2595-2621.details
|
|
The Many Faces of Closure and Introspection: An Interactive Perspective.Patrick Allo - 2013 - Journal of Philosophical Logic 42 (1):91-124.details
|
|
A logic of situated resource-bounded agents.Natasha Alechina & Brian Logan - 2009 - Journal of Logic, Language and Information 18 (1):79-95.details
|
|
Conversation and Behavior Games in the Pragmatics of Dialogue.Gabriella Airenti, Bruno G. Bara & Marco Colombetti - 1993 - Cognitive Science 17 (2):197-256.details
|
|
Minimal Rationality and the Web of Questions.Daniel Hoek - forthcoming - In Dirk Kindermann, Peter van Elswyk, Andy Egan & Cameron Domenico Kirk-Giannini (eds.), Unstructured Content. Oxford University Press.details
|
|
The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.details
|
|
Belief as Question‐Sensitive.Seth Yalcin - 2018 - Philosophy and Phenomenological Research 97 (1):23-47.details
|
|
Algebraic Semantics for Relative Truth, Awareness, and Possibility.Evan Piermont - 2024 - Review of Symbolic Logic 17 (1):154-177.details
|
|
A general possible worlds framework for reasoning about knowledge and belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.details
|
|
Metacognitive perspectives on unawareness and uncertainty.Paul Egré & Denis Bonnay - 2012 - In Michael Beran, Johannes Brandl, Josef Perner & Joëlle Proust (eds.), The Foundations of Metacognition. Oxford University Press. pp. 322.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.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
|
|
A metalinguistic and computational approach to the problem of mathematical omniscience.Zeynep Soysal - 2022 - Philosophy and Phenomenological Research 106 (2):455-474.details
|
|
Logic and social cognition the facts matter, and so do computational models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.details
|
|
Logic and Social Cognition: The Facts Matter, and So Do Computational Models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.details
|
|
Uncertainty, Rationality, and Agency.Wiebe van der Hoek - 2006 - Dordrecht, Netherland: Springer.details
|
|
A Hyperintensional Logic of Non-prime Evidence.Pietro Vigiani - forthcoming - Journal of Philosophical Logic:1-28.details
|
|
Substantive assumptions in interaction: a logical perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.details
|
|
Dynamic Hyperintensional Belief Revision.Aybüke Özgün & Francesco Berto - 2021 - Review of Symbolic Logic (3):766-811.details
|
|
Belief Changes and Cognitive Development: Doxastic Logic $${\mathsf {LCB}}$$.Marcin Łyczak - 2021 - Axiomathes 31 (2):157-171.details
|
|
Seeing to it that an agent forms a belief.Heinrich Wansing - 2002 - Logic and Logical Philosophy 10:185.details
|
|
Remarks on the logic of imagination. A step towards understanding doxastic control through imagination.Heinrich Wansing - 2017 - Synthese 194 (8):2843-2861.details
|
|
A reduction of doxastic logic to action logic.Heinrich Wansing - 2000 - Erkenntnis 53 (1-2):267-283.details
|
|
Developing bounded reasoning.Michał Walicki, Marc Bezem & Wojtek Szajnkenig - 2009 - Journal of Logic, Language and Information 18 (1):97-129.details
|
|
The perfect surprise: a new analysis in dynamic epistemic logic.Leander Vignero & Lorenz Demey - 2020 - Logic Journal of the IGPL 28 (3):341-362.details
|
|