- Algorithmic Iteration for Computational Intelligence.Giuseppe Primiero - 2017 - Minds and Machines 27 (3):521-543.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Williamson on Fine on Prior on the reduction of possibilist discourse.Kit Fine - 2016 - Canadian Journal of Philosophy 46 (4-5):548-570.details
|
|
On Modal Logics of Partial Recursive Functions.Pavel Naumov - 2005 - Studia Logica 81 (3):295-309.details
|
|
Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.details
|
|
Free Choice Permission is Strong Permission.Nicholas Asher & Daniel Bonevac - 2005 - Synthese 145 (3):303-323.details
|
|
Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.), Perspectives on Contexts. Center for the Study of Language and Inf. pp. 171-188.details
|
|
A minimal logic for interactive epistemology.Emiliano Lorini - 2016 - Synthese 193 (3):725-755.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
Conditionals, Meaning, and Mood.William Starr - 2010 - Dissertation, Rutgers Universitydetails
|
|
(1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.details
|
|
Duality for the Logic of Quantum Actions.Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong - 2015 - Studia Logica 103 (4):781-805.details
|
|
Logical Geometries and Information in the Square of Oppositions.Hans Smessaert & Lorenz Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.details
|
|
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.details
|
|
Model-checking CTL* over flat Presburger counter systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.details
|
|
Computer-mediated trust in self-interested expert recommendations.Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois & Emiliano Lorini - 2010 - AI and Society 25 (4):413-422.details
|
|
Constructive knowledge: what agents can achieve under imperfect information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.details
|
|
Quantificational modal logic with sequential Kripke semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.details
|
|
PDL with negation of atomic programs.Carsten Lutz & Dirk Walther - 2005 - Journal of Applied Non-Classical Logics 15 (2):189-213.details
|
|
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details
|
|
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.details
|
|
On the Dynamics of Institutional Agreements.Andreas Herzig, Tiago de Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321 - 355.details
|
|
Quantum logic as a dynamic logic.Alexandru Baltag & Sonja Smets - 2011 - Synthese 179 (2):285 - 306.details
|
|
On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes.Emiliano Lorini - 2013 - Journal of Philosophical Logic 42 (6):863-904.details
|
|
(1 other version)The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.details
|
|
Potentiality and Possibility.Barbara Vetter - 2010 - Dissertation, Oxforddetails
|
|
Medieval Disputationes de obligationibus as Formal Dialogue Systems.Sara L. Uckelman - 2013 - Argumentation 27 (2):143-166.details
|
|
Reasoning About Games.Melvin Fitting - 2011 - Studia Logica 99 (1-3):143-169.details
|
|
Regular relations for temporal propositions.T. Fernando - unknowndetails
|
|
Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.details
|
|
Toward a Theory of Play: A Logical Perspective on Games and Interaction.Johan van Benthem & Eric Pacuit - unknowndetails
|
|
(1 other version)An Opinionated Guide to Epistemic Modality.Kai von Fintel & Anthony S. Gillies - 2007 - In Tamar Szabo Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology:Volume 2: Volume 2. Oxford University Press. pp. 32-62.details
|
|
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.details
|
|
A dynamic logic of agency II: Deterministic dla {\mathcal{dla}} , coalition logic, and game theory.Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (3):327-351.details
|
|
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.details
|
|
Dynamic non-commutative logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.details
|
|
Querying linguistic trees.Catherine Lai & Steven Bird - 2010 - Journal of Logic, Language and Information 19 (1):53-73.details
|
|
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.details
|
|
(1 other version)Designing Meaningful Agents.Matthew Stone - 2004 - Cognitive Science 28 (5):781-809.details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
Don’t Ever Do That! Long-term Duties in PD e L.Jesse Hughes & Lambèr M. M. Royakkers - 2008 - Studia Logica 89 (1):59 - 79.details
|
|
Merging without mystery or: Variables in dynamics semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.details
|
|
Seeing is believing.B. van Linder, W. van der Hoek & J.-J. Ch Meyer - 1997 - Journal of Logic, Language and Information 6 (1):33-61.details
|
|
(1 other version)Towards a theory of intention revision.Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.details
|
|
Epistemic logic and epistemology: The state of their affairs.Johan van Benthem - 2006 - Philosophical Studies 128 (1):49 - 76.details
|
|
Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5-6):723-753.details
|
|
Games that agents play: A formal framework for dialogues between autonomous agents. [REVIEW]Peter McBurney & Simon Parsons - 2002 - Journal of Logic, Language and Information 11 (3):315-334.details
|
|
A logical analysis of the relationship between commitment and obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.details
|
|