- Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.details
|
|
On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.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
|
|
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.details
|
|
An epistemic logic of blameworthiness.Pavel Naumov & Jia Tao - 2020 - Artificial Intelligence 283 (C):103269.details
|
|
The Varieties of Ought-implies-Can and Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer.details
|
|
Completeness of a Branching-Time Logic with Possible Choices.Roberto Ciuni & Alberto Zanardo - 2010 - Studia Logica 96 (3):393-420.details
|
|
Doxastic Decisions, Epistemic Justification, and The Logic of Agency.Heinrich Wansing - 2006 - Philosophical Studies 128 (1):201-227.details
|
|
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.details
|
|
A reduction of doxastic logic to action logic.Heinrich Wansing - 2000 - Erkenntnis 53 (1-2):267-283.details
|
|
Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.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
|
|
Seeing to it that an agent forms a belief.Heinrich Wansing - 2002 - Logic and Logical Philosophy 10:185.details
|
|
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. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Remarks on the logic of imagination. A step towards understanding doxastic control through imagination.Heinrich Wansing - 2017 - Synthese 194 (8):2843-2861.details
|
|
What groups do, can do, and know they can do: an analysis in normal modal logics.Jan Broersen, Andreas Herzig & Nicolas Troquard - 2009 - Journal of Applied Non-Classical Logics 19 (3):261-289.details
|
|
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2019 - Studia Logica 107 (1):167-194.details
|
|
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.details
|
|
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.details
|
|
Expressivity results for deontic logics of collective agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2021 - Synthese 198 (9):8733-8753.details
|
|
Complexity Results of STIT Fragments.François Schwarzentruber - 2012 - Studia Logica 100 (5):1001-1045.details
|
|
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.details
|
|
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.S. Negri & E. Pavlović - 2021 - Studia Logica 109 (3):473-507.details
|
|
Alternative Axiomatization for Logics of Agency in a G3 Calculus.Sara Negri & Edi Pavlović - 2021 - Foundations of Science 28 (1):205-224.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
|
|