scientific article; zbMATH DE number 1471992

MaRDI QIDQ4489076zbMATH OpenFDO

Authors Valentin Goranko, Dimiter Vakarelov

Publication date 7 March 2001

zbMATH Keywords

multimodal logiccomplex algebraKripke frame

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1735879
• scientific article; zbMATH DE number 1003731
• Modal logic over finite structures
• A hierarchy of modal logics with relative accessibility relations
• An algebraic generalization of Kripke structures

Cited in

(16)

• Multi-dimensional semantics for modal logics
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• scientific article; zbMATH DE number 1975418 (Why is no real title available?)
• Structural operational semantics and modal logic, revisited
• Geometrical structures and modal logic
• Structured propositions and the logical form of predication
• Logical structures from a model-theoretical viewpoint
• Mechanised modal model theory
• scientific article; zbMATH DE number 1735879 (Why is no real title available?)
• Modal multilattice logic
• Modal logics of some geometrical structures
• Algebraic signatures enriched by dependency structure
• Structuralist modals and the combination of logics
• Structural Refinement for the Modal nu-Calculus
• Mathematical Structuralism, Modal Nominalism, and the Coherence Principle
• Encoding modal logics in logical frameworks

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 Q4489076)