- A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.details
|
|
Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.details
|
|
The philosophy of action.Alfred R. Mele (ed.) - 1997 - New York: Oxford University Press.details
|
|
Action and Deontology.Janusz Czelakowski - 2015 - In Freedom and Enforcement in Action: A Study in Formal Action Theory. Dordrecht, Netherland: Springer.details
|
|
Actions, Reasons, and Causes.Donald Davidson - 1963 - Journal of Philosophy 60 (23):685.details
|
|
Situations and attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.details
|
|
Situations and Attitudes.Jon Barwise & John Perry - 1983 - Cambridge, Mass.: MIT Press. Edited by John Perry.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
|
|
Explanation and understanding.Georg Henrik von Wright - 1971 - Ithaca, N.Y.: Cornell University Press.details
|
|
A Theory of Human Action.Alvin Ira Goldman - 1970 - Englewood Cliffs, NJ, USA: Princeton University Press.details
|
|
The elementary theory of collective action.Leo Apostel - 1978 - Philosophica 21:129-157.details
|
|
Explanation and Understanding. Von Wright - 1977 - Revue de Métaphysique et de Morale 82 (1):108-120.details
|
|
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.details
|
|
Logical foundations and complexity of 4QL, a query language with unrestricted negation.Jan Maluszyński & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (2):211-232.details
|
|
Tableaux for multi-agent deliberative-stit logic.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 503-520.details
|
|
Tableaux for multi-agent deliberative-stit logic.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 503-520.details
|
|
The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-106.details
|
|
The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-106.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2007 - Dordrecht, Netherland: Springer.details
|
|
Artificial Intelligence and Natural Man.Margaret A. Boden - 1977 - New York: Branch Line.details
|
|
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
Norm and action.Georg Henrik von Wright - 1963 - New York,: Humanities.details
|
|
The alternatives and consequences of actions.Lars Bergström - 1966 - Göteborg [etc.]: Almqvist & Wiksell.details
|
|
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
|
|
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.details
|
|
Freedom, range for action, and the ontology of norms.Ota Weinberger - 1985 - Synthese 65 (2):307 - 324.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.details
|
|
Indeterminist time and truth-value gaps.Richmond H. Thomason - 1970 - Theoria 36 (3):264-281.details
|
|
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.details
|
|
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.details
|
|
On the logic of omissions.Jari Talja - 1985 - Synthese 65 (2):235 - 248.details
|
|
The logic of deliberate action.Krister Segerberg - 1982 - Journal of Philosophical Logic 11 (2):233 - 254.details
|
|
Talking about actions.Krister Segerberg - 1988 - Studia Logica 47 (4):347 - 352.details
|
|
Routines.Krister Segerberg - 1985 - Synthese 65 (2):185 - 210.details
|
|
Bringing it about.Krister Segerberg - 1989 - Journal of Philosophical Logic 18 (4):327 - 347.details
|
|
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.details
|
|
Applying modal logic.Krister Segerberg - 1980 - Studia Logica 39 (2-3):275 - 295.details
|
|
New essays on the explanation of action.Constantine Sandis (ed.) - 2009 - New York: Palgrave-Macmillan.details
|
|
New essays on the explanation of action * by Constantine sandis. [REVIEW]Constantine Sandis - 2010 - Analysis 70 (1):193-196.details
|
|
Formalized Algorithmic Languages.A. Salwicki - 1974 - Journal of Symbolic Logic 39 (2):349-350.details
|
|
Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.details
|
|
Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.details
|
|
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.details
|
|
Pragmatics and intensional logic.Richard Montague - 1970 - Dialectica 24 (4):277-302.details
|
|
Pragmatics and intensional logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.details
|
|
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.details
|
|