The greatest extension of S4 into which intuitionistic logic is embeddable

Zakharyaschev, Michael (1997) The greatest extension of S4 into which intuitionistic logic is embeddable. Studia Logica 59 (3), pp. 345-358. ISSN 0039-3215.

Full text not available from this repository.

Official URL: https://doi.org/10.1023/A:1005084328298

Abstract

This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	08 Nov 2021 19:29
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46653

Statistics

Archive Staff Only (login required)

Edit/View Item