The Event Calculus in Classical Logic - Alternative Axiomatisations

&
Linköping Electronic Articles in Computer and Information Science 4 (1999)
  Copy   BIBTEX

Abstract

We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
If logic meets paraconsistent logic.Jaakko Hintikka - unknown
Non Deterministic Classical Logic: The λμ++ ‐calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
Logic & Natural Language: On Plural Reference and its Semantic and Logical Significance.Hanoch Ben-Yami - 2004 - Routledge.
Non deterministic classical logic: the $lambdamu^{++}$-calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
Axiomatisations of the Modal Calculus Q.A. N. Prior - 1964 - Notre Dame Journal of Formal Logic 5 (3):215-217.
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
Notions de Logique Formelle. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):809-809.
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
Exceptional Logic.Bruno Whittle - forthcoming - Review of Symbolic Logic:1-37.
On the Costs of Classical Logic.Luca Castaldo - 2021 - Erkenntnis 88 (3):1157-1188.
The necessity of modal logic S5 is metalogical.Zdzislaw Dywan - 1981 - Bulletin of the Section of Logic 10 (4):162-167.
Call-by-name reduction and cut-elimination in classical logic.Kentaro Kikuchi - 2008 - Annals of Pure and Applied Logic 153 (1-3):38-65.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.

Analytics

Added to PP
2022-12-12

Downloads
2 (#1,806,850)

6 months
1 (#1,475,915)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Murray Shanahan
Imperial College of Science and Technology

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references