scientific article; zbMATH DE number 1303431
From MaRDI portal
Publication:4250040
zbMath0923.03049MaRDI QIDQ4250040
Andrzej Szałas, Andreas Nonnengart
Publication date: 28 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicKripke semanticsautomated theorem provingcorrespondence theorysecond-order quantifier eliminationfixpoint calculus
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Semantic forgetting in expressive description logics ⋮ Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ Sahlqvist theorem for modal fixed point logic ⋮ The Ackermann approach for modal logic, correspondence theory and second-order reduction ⋮ Modal frame correspondences and fixed-points ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ General domain circumscription and its first-order reduction ⋮ Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals ⋮ Annotation theories over finite graphs ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Voting by eliminating quantifiers