- 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
|
|
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
|
|
Explanation and understanding.Georg Henrik von Wright - 1971 - Ithaca, N.Y.: Cornell University Press.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
|
|
Applying modal logic.Krister Segerberg - 1980 - Studia Logica 39 (2-3):275 - 295.details
|
|
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.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
|
|
An essay in deontic logic and the general theory of action: with a bibliography of deontic and imperative logic.Georg Henrik von Wright (ed.) - 1968 - Amsterdam: North-Holland Pub. Co..details
|
|
Agency and deontic logic.John Horty - 2001 - New York: Oxford University Press.details
|
|
Active agents.Vincent F. Hendricks - 2003 - Journal of Logic, Language and Information 12 (4):469-495.details
|
|
First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.details
|
|
Individuals and collective actions.Sven Ove Hansson - 1986 - Theoria 52 (1-2):87-97.details
|
|
The semantics of HOARE's iteration rule.Robert Goldblatt - 1982 - Studia Logica 41 (2-3):141 - 158.details
|
|
Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.details
|
|
Is Justified True Belief Knowledge?Edmund Gettier - 1963 - Analysis 23 (6):121-123.details
|
|