Logic and Logical Philosophy 18 (3-4):271-296 (2009)

Andrzej Pietruszczak
Nicolaus Copernicus University
In the present paper we examine very weak modal logics C1, D1, E1, S0.5◦, S0.5◦+(D), S0.5 and some of their versions which are closed under replacement of tautological equivalents (rte-versions). We give semantics for these logics, formulated by means of Kripke style models of the form , where w is a «distinguished» world, A is a set of worlds which are alternatives to w, and V is a valuation which for formulae and worlds assigns the truth-vales such that: (i) for all formulae and all worlds, V preserves classical conditions for truth-value operators; (ii) for the world w and any formula ϕ, V(⬜ϕ,w) = 1 iff ∀x∈A V(ϕ,x) = 1; (iii) for other worlds formula ⬜ϕ has an arbitrary value. Moreover, for rte-versions of considered logics we must add the following condition: (iv) V(⬜χ,w) = V(⬜χ[ϕ/ψ],w), if ϕ and ψ are tautological equivalent. Finally, for C1, D1and E1 we must add queer models of the form in which: (i) holds and (ii') V(⬜ϕ,w) = 0, for any formula ϕ. We prove that considered logics are determined by some classes of above models
Keywords very weak modal logics  simplified Kripke style semantics
Categories (categorize this paper)
Reprint years 2010
DOI 10.12775/LLP.2009.013
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: 59,687
Through your library

References found in this work BETA

Algebraic Semantics for Modal Logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
New Foundations for Lewis Modal Systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.
Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
Les systèmes formalisés des modalités aristotéliciennes.Robert Feys - 1950 - Revue Philosophique De Louvain 48 (20):478-509.
QL-Regular Quantified Modal Logics.Maciej Nowicki - 2008 - Bulletin of the Section of Logic 37 (3/4):4.

View all 9 references / Add more references

Citations of this work BETA

Semantical Investigations on Some Weak Modal Logics. Part II.Andrzej Pietruszczak - 2012 - Bulletin of the Section of Logic 41 (3/4):109-130.

Add more citations

Similar books and articles

Simplified Kripke Style Semantics for Modal Logics K45, KB4 and KD45.Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (3/4):163-171.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Kripke Bundle Semantics and C-Set Semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.


Added to PP index

Total views
42 ( #247,094 of 2,432,273 )

Recent downloads (6 months)
1 ( #466,747 of 2,432,273 )

How can I increase my downloads?


My notes