scientific article; zbMATH DE number 980412

zbMATH Open0862.03002MaRDI QIDQ4333374FDOQ4333374

Authors: Rolf Nossum, Dov Gabbay 

Publication date: 19 February 1997

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

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

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 (4)

• The semantic characterization of modal logical connectives
• Semantic characterization of the SCR-\(n\;(1\leq n\leq\omega)\) hierarchy
• Title not available (Why is that?)
• Counterpart theory as a semantics for modal logic

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)