scientific article; zbMATH DE number 1215479

zbMath0911.03011MaRDI QIDQ4215613

Carsten Grefe

Publication date: 26 October 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite model propertyintuitionistic logicclassical modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) ⋮ Standard Gödel modal logics ⋮ On the Blok-Esakia Theorem ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

This page was built for publication: