MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS

DOI10.1070/SM1991v068n01ABEH002104zbMath0709.03017OpenAlexW2012276667MaRDI QIDQ3491522

Michael Zakharyashchev

Publication date: 1990

Published in: Mathematics of the USSR-Sbornik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/sm1991v068n01abeh002104

zbMATH Keywords

modal logicdecidabilitymodel theoryfinite model propertysuperintuitionistic logicKripke completenessdisjunctive propertiesGödel-Tarski translation of a propositional formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (4)

On rules ⋮ Bjarni Jónsson's contributions in algebra ⋮ Canonical rules ⋮ On the Blok-Esakia Theorem

This page was built for publication: MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS