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 | arrow logic expressive power fork algebra modal logic relation algebra standard translation |
Categories | (categorize this paper) |
DOI | 10.1007/s10992-006-9043-x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Algebraization of Quantifier Logics, an Introductory Overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.
Benevides, MRF, 343 Berk, L., 323 Boėr, SE, 43 Calabrese, PG.S. Chopra, A. G. Cohn, R. P. de Freitas, H. Field, A. Ghose, L. Goble, V. Halbach, L. Humberstone, N. Kamide & S. Kovac - 2003 - Journal of Philosophical Logic 32 (669).
Arrow Logic and Multi-Modal Logic.Maarten Marx, Laszls Pslos & Michael Masuch - 1996 - Center for the Study of Language and Information Publications.
Citations of this work BETA
No citations found.
Similar books and articles
Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
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.
Some Remarks on Ultrafilter and Normality Logics.André Fuhrmann - 2003 - Studia Logica 73 (2):197 - 207.
Epsilon-Logic is More Expressive Than First-Order Logic Over Finite Structures.Martin Otto - 2000 - Journal of Symbolic Logic 65 (4):1749-1757.
Analytics
Added to PP index
2009-01-28
Total views
26 ( #441,173 of 2,517,999 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,999 )
2009-01-28
Total views
26 ( #441,173 of 2,517,999 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,999 )
How can I increase my downloads?
Downloads