scientific article; zbMATH DE number 834561

zbMath0840.03010MaRDI QIDQ4860647

Istvan Németi, J. F. A. K. van Benthem, Hajnalka Andréka

Publication date: 1 July 1996

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

zbMATH Keywords

decidabilitypreservationKripke modelsmodal fragmentbounded quantifier fragmentmodal formalisms

Mathematics Subject Classification ID

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

Related Items (10)

Model theoretical aspects of weakly aggregative modal logic ⋮ On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic ⋮ Taming logic ⋮ On the relative expressiveness of description logics and predicate logics ⋮ Hyperresolution for guarded formulae ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ First-Order Resolution Methods for Modal Logics ⋮ On squares of modal logics with additional connectives ⋮ Modal languages and bounded fragments of predicate logic ⋮ Minimal temporal epistemic logic

This page was built for publication: