The Craig, Robinson and Beth theorems for the modal logic of closure spaces

Bulletin of the Section of Logic 15 (1):15-18 (1986)
  Copy   BIBTEX

Abstract

The first order modal logic of closure spaces belongs to the class of equationally definable standard modal logics . One can say, it satisfies no version of the deduction lemma. Nevertheless the Robinson and Beth theorems can be proved by means of an interpretation of modal theories in classical ones. LCS is described in [1], [2], [3], [4]. The logics obtained by adjoining axioms of quasi-equality or of equality to LCS are denoted by LCSQE and LCSE

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

First order modal logic of closure spaces with equality.Jan Plaza - 1986 - Bulletin of the Section of Logic 15 (1):21-25.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
On the Beth properties of some intuitionistic modal logics.C. Luppi - 2002 - Archive for Mathematical Logic 41 (5):443-454.
Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Some characterization and preservation theorems in modal logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.

Analytics

Added to PP
2014-01-24

Downloads
24 (#909,478)

6 months
4 (#1,247,585)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Plaza
State University of New York (SUNY)

Citations of this work

No citations found.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.

Add more references