Back to Search Start Over

Kripke semantics for modal systems including S4.3

Authors :
V. Yu. Meskhi
Source :
Mathematical Notes of the Academy of Sciences of the USSR. 15:523-528
Publication Year :
1974
Publisher :
Springer Science and Business Media LLC, 1974.

Abstract

We present, in terms of Kripke models, the characteristics of all the known extensions of the modal system S4.3. Such a semantic description makes it possible to give a complete picture of the whole class of systems extending S4.3. We obtain answers to some unsolved problems.

Subjects

Subjects :
Discrete mathematics
Algebra
Class (set theory)
Modal
Normal modal logic
General Mathematics
Kripke models
Kripke structure
Modal logic
Axiom S5
Kripke semantics
Mathematics

Details

ISSN :
15738876 and 00014346
Volume :
15
Database :
OpenAIRE
Journal :
Mathematical Notes of the Academy of Sciences of the USSR
Accession number :
edsair.doi...........5a102e630eff17852a0ff5016bd84815

Tools

Authors Abstract Subjects Details