- Events.Roberto Casati & Achille C. Varzi - 2020 - Stanford Encyclopedia of Philosophy.details
|
|
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Undivided and indistinguishable histories in branching-time logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.details
|
|
On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.details
|
|
Doing and refraining from refraining.Ming Xu - 1994 - Journal of Philosophical Logic 23 (6):621 - 632.details
|
|
Decidability ofstit theory with a single agent andrefref equivalence.Ming Xu - 1994 - Studia Logica 53 (2):259 - 298.details
|
|
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.details
|
|
Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.details
|
|
Causation in branching time (I): Transitions, events and causes.Ming Xu - 1997 - Synthese 112 (2):137-192.details
|
|
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.details
|
|
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.details
|
|
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.details
|
|
On obligations and normative ability: Towards a logical analysis of the social contract.Michael Wooldridge & Wiebe van der Hoek - 2005 - Journal of Applied Logic 3 (3-4):396-420.details
|
|
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.details
|
|
A reduction of doxastic logic to action logic.Heinrich Wansing - 2000 - Erkenntnis 53 (1-2):267-283.details
|
|
Using argumentation schemes to find motives and intentions of a rational agent.Douglas Walton - 2020 - Argument and Computation 10 (3):233-275.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
|
|
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
|
|
Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.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
|
|
Getting started: Beginnings in the logic of action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.details
|
|
Joint action and group action made precise.Gabriel Sandu & Raimo Tuomela - 1995 - Synthese 105 (3):319 - 345.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
|
|
Stit and the language of agency.Michael Perloff - 1991 - Synthese 86 (3):379 - 408.details
|
|
The logical form of negative action sentences.Jonathan D. Payton - 2016 - Canadian Journal of Philosophy 46 (6):855-876.details
|
|
Collectivism on the horizon: A challenge to Pettit's critique of collectivism.Katarzyna Paprzycka - 1998 - Australasian Journal of Philosophy 76 (2):165 – 181.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
|
|
Towards a Theory of Limited Indeterminism in Branching Space-times.Thomas Müller - 2010 - Journal of Philosophical Logic 39 (4):395-423.details
|
|
Branching in the landscape of possibilities.Thomas Müller - 2012 - Synthese 188 (1):41-65.details
|
|
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.details
|
|
Conditional obligation and positive permission for agents in time.Mark A. Brown - 2000 - Nordic Journal of Philosophical Logic 5 (2):83-111.details
|
|
A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.details
|
|
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
|
|