scientific article; zbMATH DE number 980412

zbMATH Open0862.03002MaRDI QIDQ4333374FDOQ4333374

Rolf Nossum, Dov Gabbay

Publication date: 19 February 1997

Title of this publication is not available (Why is that?)

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)

Cited In (3)

• The semantic characterization of modal logical connectives
• Title not available (Why is that?)
• Counterpart theory as a semantics for modal logic

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• IV. Semantic extensions of SQEMA 👍 👎

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)