scientific article; zbMATH DE number 757642

zbMath0829.03010MaRDI QIDQ4833774

Marcus Kracht

Publication date: 23 May 1995

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

zbMATH Keywords

modal logicpersistencecompletenessfirst-order definabilityKripke frameelementarityimplicational fragmentgeneralized frameKripke completenessSahlqvist's theoremproof calculi

Mathematics Subject Classification ID

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

Related Items (7)

First-order intensional logic ⋮ Temporal logic of surjective bounded morphisms between finite linear processes ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ A dichotomy for some elementarily generated modal logics ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Modal languages and bounded fragments of predicate logic

This page was built for publication: