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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,289

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

Causality in Action Theories.Camilla Schwind - 1999 - Linköping Electronic Articles in Computer and Information Science 4.
Axiomatisations of the Modal Calculus Q.A. N. Prior - 1964 - Notre Dame Journal of Formal Logic 5 (3):215-217.
Simulation, Ramification, and Linear Logic.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (12).
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
The Concurrent, Continuous Fluent Calculus.Thielscher Michael - 2001 - Studia Logica 67 (3):315-331.
Actions, Ramification and Linear Modalities.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (11).
Probabilistic Default Reasoning with Conditional Constraints.Thomas Lukasiewicz - 2000 - Linköping Electronic Articles in Computer and Information Science 5.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Review: A. N. Prior, Notes on a Group of New Modal Systems; R. A. Bull, An Axiomatization of Prior's Modal Calculus $mathbf{Q}$; A. N. Prior, Axiomatisations of the Modal Calculus $mathbf{Q}$. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464-464.
Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.

Analytics

Added to PP
2022-12-12

Downloads
10 (#1,550,158)

6 months
5 (#858,857)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Murray Shanahan
Imperial College London

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references