- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Deontic logic for strategic games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.details
|
|
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.details
|
|
Completeness of a Branching-Time Logic with Possible Choices.Roberto Ciuni & Alberto Zanardo - 2010 - Studia Logica 96 (3):393-420.details
|
|
Properties of logics of individual and group agency.Andreas Herzig & François Schwarzentruber - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-149.details
|
|
Expressivity results for deontic logics of collective agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2021 - Synthese 198 (9):8733-8753.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
|
|
Relationships between obligations and actions in the context of institutional agents, human agents or software agents.Robert Demolombe - 2011 - Artificial Intelligence and Law 19 (2-3):99-115.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.details
|
|
Everything is learnable, once it is settled.Kevin Xu - 2021 - Synthese 199 (1-2):4795-4817.details
|
|
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.details
|
|
Causation in branching time (I): Transitions, events and causes.Ming Xu - 1997 - Synthese 112 (2):137-192.details
|
|
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.details
|
|
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.details
|
|
Two puzzles about ability can.Malte Willer - 2020 - Linguistics and Philosophy 44 (3):551-586.details
|
|
Nested deontic modalities: Another view of parking on highways. [REVIEW]Heinrich Wansing - 1998 - Erkenntnis 49 (2):185-199.details
|
|
A reduction of doxastic logic to action logic.Heinrich Wansing - 2000 - Erkenntnis 53 (1-2):267-283.details
|
|
How to make and defend a proposal in a deliberation dialogue.Douglas Walton - 2006 - Artificial Intelligence and Law 14 (3):177-239.details
|
|
On the logic of cooperation and propositional control.Wiebe van der Hoek & Michael Wooldridge - 2005 - Artificial Intelligence 164 (1-2):81-119.details
|
|
Anselm’s Logic of Agency.Sara L. Uckelman - 2009 - History of Philosophy & Logical Analysis 12 (1):248-268.details
|
|
The irreducibility of collective obligations.Allard Tamminga & Frank Hindriks - 2020 - Philosophical Studies 177 (4):1085-1109.details
|
|
One Ought Too Many.Justin Snedegar Stephen Finlay - 2014 - Philosophy and Phenomenological Research 89 (1):102-124.details
|
|
Ought and agency.Daniel Skibra - 2022 - Synthese 200 (5):1-40.details
|
|
Logic, planning agency and branching time.Ricardo Souza Silvestre - 2010 - Principia: An International Journal of Epistemology 14 (3):421-438.details
|
|
Some Forms of Collectively Bringing About or ‘Seeing to it that’.Marek Sergot - 2021 - Journal of Philosophical Logic 50 (2):249-283.details
|
|
From BDI and stit to bdi-stit logic.Caroline Semmling & Heinrich Wansing - 2008 - Logic and Logical Philosophy 17 (1-2):185-207.details
|
|
Ought, Agents, and Actions.Mark Schroeder - 2011 - Philosophical Review 120 (1):1-41.details
|
|
Complexity Results of STIT Fragments.François Schwarzentruber - 2012 - Studia Logica 100 (5):1001-1045.details
|
|
Normative Verantwortung für Handlungen Anderer. Eine Untersuchung im Rahmen der stit -Theorie.Sarah Ganter & Heinrich Wansing - 2005 - Facta Philosophica 7 (2):167-187.details
|
|
The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22-69.details
|
|
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.details
|
|
A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415 - 448.details
|
|
A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415-448.details
|
|
The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.details
|
|
The logical form of negative action sentences.Jonathan D. Payton - 2016 - Canadian Journal of Philosophy 46 (6):855-876.details
|
|
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations.Kees van Berkel, Timothy Lyon & Matteo Pascucci - 2023 - Journal of Philosophical Logic 52 (5):1475 - 1516.details
|
|
Restricted interpolation and lack thereof in stit logic.Grigory K. Olkhovikov - 2020 - Review of Symbolic Logic 13 (3):459-482.details
|
|
Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.details
|
|
Counterfactual and seeing-to-it responsibilities in strategic games.Pavel Naumov & Jia Tao - 2023 - Annals of Pure and Applied Logic 174 (10):103353.details
|
|
The Logic of Action and Control.Leona Mollica - 2023 - Journal of Philosophical Logic 52 (5):1237-1268.details
|
|
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.details
|
|
Adaptive abilities.Erasmus Mayr & Barbara Vetter - 2023 - Philosophical Issues 33 (1):140-154.details
|
|
Conditional obligation and positive permission for agents in time.Mark A. Brown - 2000 - Nordic Journal of Philosophical Logic 5 (2):83-111.details
|
|
Ability, modality, and genericity.John Maier - 2018 - Philosophical Studies 175 (2):411-428.details
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
A STIT Logic for Reasoning About Social Influence.Emiliano Lorini & Giovanni Sartor - 2016 - Studia Logica 104 (4):773-812.details
|
|
A logic for reasoning about counterfactual emotions.Emiliano Lorini & François Schwarzentruber - 2011 - Artificial Intelligence 175 (3-4):814-847.details
|
|
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.details
|
|
Agentive Duality reconsidered.Annina Loets & Julia Zakkou - 2022 - Philosophical Studies 179 (12):3771-3789.details
|
|