- A Gabbay-Rule Free Axiomatization of T x W Validity.Maria Concetta Di Maio & Alberto Zanardo - 1998 - Journal of Philosophical Logic 27 (5):435 - 487.details
|
|
Ability, modality, and genericity.John Maier - 2018 - Philosophical Studies 175 (2):411-428.details
|
|
A STIT Logic for Reasoning About Social Influence.Emiliano Lorini & Giovanni Sartor - 2016 - Studia Logica 104 (4):773-812.details
|
|
On formalizing causation based on constant conjunction theory.Hu Liu & Xuefeng Wen - 2013 - Review of Symbolic Logic 6 (1):160-181.details
|
|
Reasoning about manipulation in multi-agent systems.Christopher Leturc & Grégory Bonnet - 2022 - Journal of Applied Non-Classical Logics 32 (2):89-155.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
|
|
Approximate verification of strategic abilities under imperfect information.Wojciech Jamroga, Michał Knapik, Damian Kurpiewski & Łukasz Mikulski - 2019 - Artificial Intelligence 277 (C):103172.details
|
|
The deliberative stit: A study of action, omission, ability, and obligation. [REVIEW]John F. Horty & Nuel Belnap - 1995 - Journal of Philosophical Logic 24 (6):583 - 644.details
|
|
Agency and obligation.John F. Horty - 1996 - Synthese 108 (2):269 - 307.details
|
|
Distinguishing agent-relativity from agent-neutrality.Matthew Hammerton - 2019 - Australasian Journal of Philosophy 97 (2):239-250.details
|
|
On the Axiomatisation of Elgesem's Logic of Agency and Ability.Guido Governatori & Antonino Rotolo - 2005 - Journal of Philosophical Logic 34 (4):403-431.details
|
|
Resolving distributed knowledge.Thomas Ågotnes & Yì N. Wáng - 2017 - Artificial Intelligence 252 (C):1-21.details
|
|
A logic of strategic ability under bounded memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.details
|
|
Agential Free Choice.Melissa Fusco - 2020 - Journal of Philosophical Logic 50 (1):57-87.details
|
|
Doing without action types.Hein Duijf, Jan Broersen, Alexandra Kuncová & Aldo Iván Ramírez Abarca - forthcoming - Review of Symbolic Logic:1-31.details
|
|
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
Agent-Relativity and the Foundations of Moral Theory.Matthew Hammerton - 2017 - Dissertation, Australian National Universitydetails
|
|
Deontic logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The modal logic of agency.Dag Elgesem - 1997 - Nordic Journal of Philosophical Logic 2:1-46.details
|
|
In the realm of agents.Nuel Belnap & Michael Perloff - unknowndetails
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.details
|
|
Reasoning About Belief Revision.Caroline Semmling & Heinrich Wansing - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science. Springer. pp. 303--328.details
|
|
Practical Language: Its Meaning and Use.Nathan A. Charlow - 2011 - Dissertation, University of Michigandetails
|
|
Is unsaying polite?Berislav Žarnić - 2012 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Springer. pp. 201--224.details
|
|
Changing minds about climate change: Belief revision, coherence, and emotion.Paul Thagard & Scott Findlay - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science. Springer. pp. 329--345.details
|
|
Deontic ‘cocktail’ according to E. Mally’s receipt.Lisanyuk Elena - 2013 - Logical Investigations 19:5-27.details
|
|
Reasoning About Obligations in Obligationes: A Formal Approach.Sara Uckelman - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 533-568.details
|
|
Defeasibly successful action.Richmond H. Thomason - unknowndetails
|
|
Ability, action, and context.Richmond H. Thomason - unknowndetails
|
|
Ability and action.Richmond H. Thomason - unknowndetails
|
|