scientific article; zbMATH DE number 1471992
From MaRDI portal
Publication:4489076
zbMATH Open0956.03023MaRDI QIDQ4489076FDOQ4489076
Dimiter Vakarelov, Valentin Goranko
Publication date: 7 March 2001
Title of this publication is not available (Why is that?)
Cited In (11)
- Title not available (Why is that?)
- Structural operational semantics and modal logic, revisited
- Geometrical structures and modal logic
- Structured propositions and the logical form of predication
- Mechanised modal model theory
- Modal multilattice logic
- Modal logics of some geometrical structures
- 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)
