On Fork Arrow Logic and Its Expressive Power

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

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
Keywords Philosophy
Categories (categorize this paper)
DOI 10.1007/s10992-006-9043-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,685
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
Modal Logic and Model Theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Expressive Power, Mood, and Actuality.Rohan French - 2013 - Synthese 190 (9):1689-1699.

Analytics

Added to PP index
2013-09-30

Total views
11 ( #723,632 of 2,280,843 )

Recent downloads (6 months)
2 ( #575,745 of 2,280,843 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature