Authors
Ramon Jansana Ferrer
Universitat de Barcelona
Abstract
In this paper we study some logics related to the logic of place introduced by von Wright and studied by Segerberg. For every we study the logic of the class of frames whose accessibility relation R satisfies the following condition: if then there is such that . For a fixed the logic is the one axiomatized by K , which we call Kn.4B, where . We prove that these logics are canonical and hence complete, and that they have the finite model property, being thus decidable. We also characterize their classes of frames. In the way of studying them we also study the logics , called Kn.4, and , called Kn.B. A translation between these logics and S5 is also presented, and the relation among them all is established
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1040609296
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,343
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Abstract Modal Logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.

Add more citations

Similar books and articles

Logical Studies.G. H. VON WRIGHT - 1957 - London: Routledge and Kegan Paul.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Four Simple Systems of Modal Propositional Logic.Gerald J. Massey - 1965 - Philosophy of Science 32 (3/4):342-355.
Negation and Temporal Ontology.Tero Tulenheimo - 2011 - Australasian Journal of Philosophy 89 (1):101-114.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
Deontic Logics.G. H. von Wright - 1967 - American Philosophical Quarterly 4 (2):136 - 143.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Von Wright's Deontic Logics.Harry S. Silverstein - 1974 - Philosophical Studies 25 (5):365 - 371.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.

Analytics

Added to PP index
2010-08-24

Total views
21 ( #511,952 of 2,445,340 )

Recent downloads (6 months)
5 ( #149,145 of 2,445,340 )

How can I increase my downloads?

Downloads

My notes