An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics

Studia Logica 34 (4):333-342 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02121664

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

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

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
First-order indefinite and uniform neighbourhood semantics.Arnold Vander Nat - 1979 - Studia Logica 38 (3):277-296.
Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.
Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.
Quantified extensions of canonical propositional intermediate logics.Silvio Ghilardi - 1992 - Studia Logica 51 (2):195 - 214.
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.
Valuation Semantics for S4.Andréa M. Loparić & Cezar A. Mortari - forthcoming - Studia Logica:1-18.
The Incompleteness of S4 {bigoplus} S4 for the Product Space.Philip Kremer - 2015 - Studia Logica 103 (1):219-226.
General Modal Incompleteness and Finite Axiomatizability.Roy Albert Benton - 1985 - Dissertation, University of Michigan
Neighbourhood Semantics for FDE-Based Modal Logics.S. Drobyshevich & D. Skurt - 2021 - Studia Logica 109 (6):1273-1309.

Analytics

Added to PP
2009-01-28

Downloads
51 (#429,839)

6 months
8 (#597,840)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Canonicity for intensional logics without iterative axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.

View all 12 citations / Add more citations

References found in this work

That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
The inadequacy of the neighbourhood semantics for modal logic.Martin Gerson - 1975 - Journal of Symbolic Logic 40 (2):141-148.

Add more references