scientific article; zbMATH DE number 1471992

zbMATH Open0956.03023MaRDI QIDQ4489076FDOQ4489076

Authors: Valentin Goranko, Dimiter Vakarelov 

Publication date: 7 March 2001

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

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

zbMATH Keywords

multimodal logiccomplex algebraKripke frame

Mathematics Subject Classification ID

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

Cited In (16)

• Multi-dimensional semantics for modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structural operational semantics and modal logic, revisited
• Geometrical structures and modal logic
• Logical structures from a model-theoretical viewpoint
• Structured propositions and the logical form of predication
• Mechanised modal model theory
• Title not available (Why is that?)
• 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)