scientific article; zbMATH DE number 980412

MaRDI QIDQ4333374zbMATH OpenFDO

Authors Rolf Nossum, Dov Gabbay

Publication date 19 February 1997

zbMATH Keywords

modal logicHilbert systemlogics of beliefSCANKD45second-order formulasemantical characterizations

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• Relational and Kleene-Algebraic Methods in Computer Science
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• A semantical analysis of cut-free calculi for modal logics
• scientific article; zbMATH DE number 3877148
• IV. Semantic extensions of SQEMA

Cited in

(4)

• Counterpart theory as a semantics for modal logic
• scientific article; zbMATH DE number 6290307 (Why is no real title available?)
• Semantic characterization of the SCR-\(n\;(1\leq n\leq\omega)\) hierarchy
• The semantic characterization of modal logical connectives

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4333374)