Many-dimensional arrow logics

Journal of Applied Non-Classical Logics 6 (4):303-345 (1996)
  Copy   BIBTEX

Abstract

ABSTRACT The notion of n-dimensional arrow structure is introduced, which for n = 2 coincides with the notion of directed multi-graph. In part I of the paper several first-order and modal languages connected with arrow structures are studied and their expressive power is compared. Part II is devoted to the axiomatization of some arrow logics. At the end some further perspectives of ?arrow approach? are discussed

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1996.10510890

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Hyper arrow logic with indiscernibility and complementarity.Philippe Balbiani - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):137-152.
Hyper Arrow Structures. Arrow Logics III.Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-290.
Hyper Arrow Structures. Arrow Logics III.Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-290.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Arrow logic and infinite counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.
Computing with cylindric modal logics and arrow logics, lower Bounds.Maarten Marx - 2002 - Studia Logica 72 (2):233-252.
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.
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 Logic and Multi-Modal Logic.Maarten Marx, Laszls Pslos & Michael Masuch - 1996 - Center for the Study of Language and Information Publications.

Analytics

Added to PP
2013-11-24

Downloads
25 (#654,431)

6 months
6 (#587,779)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Hyper arrow logic with indiscernibility and complementarity.Philippe Balbiani - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):137-152.

Add more citations

References found in this work

A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Shortened version appeared as.I. Németi - 1991 - Studia Logica 50 (3-4):458-569.
Rough polyadic modal logics.D. Vakarelov - 1991 - Journal of Applied Non-Classical Logics 1 (1):9-35.
The Domino relation: Flattening a two-dimensional logic. [REVIEW]Steven Kuhn - 1989 - Journal of Philosophical Logic 18 (2):173 - 195.

Add more references