State Event Logic

Logic Journal of the IGPL 4 (1):47-74 (1996)
  Copy   BIBTEX

Abstract

In this article we give a detailed presentation of state event logic which is a modal logic for reasoning about concurrent events and causality between events [8] State event logic differs from previous approaches in the following directions: First, events enjoy the same attention as states. In the same way as states can be viewed as models of the formulae describing the facts that hold in them we think of events as models of the formulae describing the subevents. Second, instead of postulating just one set of states as primitive objects we use two sets, a set of states and a set of events In terms of modal logic, the universe then becomes a set of pairsin which the first component is a state and the second is an event following the state. The connection between two subsequent pairs is expressed by an accessibility relation.Propositional and first-order state event logic are formulated and illustrated with examplese.From these examples we can immediately infer that state event logic can also be applied for the representation of real world scenarios. Finally we added a thorough discussion on related approaches

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

Experiences as complex events.Michael Jacovides - 2010 - Southern Journal of Philosophy 48 (2):141-159.
The Narrative Event as an Occasion of Emergence.Vlastimil Zuska - 2009 - Estetika: The European Journal of Aesthetics 46 (1):62-74.
Which Universal?Philip L. Peterson - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:24 - 30.
How Eventful is the Event-Based Theory of Harm?Adam Slavny - 2014 - Journal of Value Inquiry 48 (3):559-571.
An Ontology for Event Semantics.Christopher Jude Pinon - 1995 - Dissertation, Stanford University
Temporal approach to causal knowledge.W. Penczek - 2000 - Logic Journal of the IGPL 8 (1):87-99.
Events.Roberto Casati & Achille C. Varzi - 2020 - Stanford Encyclopedia of Philosophy.
Adjectival relatives.Toshiyuki Ogihara - 2004 - Linguistics and Philosophy 27 (5):557-608.
A Theory of Events.Kathleen Gill - 1986 - Dissertation, Indiana University
Sebastian's Strolls.Franz von Kutschera - 1993 - Grazer Philosophische Studien 45 (1):75-88.

Analytics

Added to PP
2015-02-04

Downloads
19 (#682,951)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.

Add more citations

References found in this work

No references found.

Add more references