On fork arrow logic and its expressive power

Journal of Philosophical Logic 36 (5):489 - 509 (2007)
  Copy   BIBTEX

Abstract

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order correspondence language, so both can express the same input–output behavior of processes.

Links

PhilArchive



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

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

Event, state, and process in arrow logic.Satoshi Tojo - 1999 - Minds and Machines 9 (1):81-103.
Arrow logic and infinite counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.
Arrow's proof and the logic of preference.Frederic Schick - 1969 - Philosophy of Science 36 (2):127-144.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.

Analytics

Added to PP
2009-01-28

Downloads
33 (#416,963)

6 months
6 (#201,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Arrow Logic and Multi-Modal Logic.Maarten Marx, Laszls Pslos & Michael Masuch - 1996 - Center for the Study of Language and Information Publications.

Add more references