Combinations of Stit with Ought and Know
Journal of Philosophical Logic 44 (6):851-877 (2015)
Abstract
This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.DOI
10.1007/s10992-015-9365-7
My notes
Similar books and articles
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
From BDI and stit to bdi-stit logic.Caroline Semmling & Heinrich Wansing - 2008 - Logic and Logical Philosophy 17 (1-2):185-207.
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.
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.
On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
Complexity Results of STIT Fragments.François Schwarzentruber - 2012 - Studia Logica 100 (5):1001-1045.
Nested deontic modalities: Another view of parking on highways. [REVIEW]Heinrich Wansing - 1998 - Erkenntnis 49 (2):185-199.
Making a Start with the stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.
An Investigation in the Logics of Seeing-to-It-That.Ming Xu - 1996 - Dissertation, University of Pittsburgh
Analytics
Added to PP
2015-04-06
Downloads
76 (#160,944)
6 months
2 (#297,737)
2015-04-06
Downloads
76 (#160,944)
6 months
2 (#297,737)
Historical graph of downloads
Citations of this work
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2018 - Journal of Philosophical Logic 47 (2):259-279.
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.
Doing without action types.Hein Duijf, Jan Broersen, Alexandra Kuncová & Aldo Iván Ramírez Abarca - forthcoming - Review of Symbolic Logic:1-31.
References found in this work
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap - 2001 - Oxford University Press on Demand.
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
