scientific article; zbMATH DE number 859790

MaRDI QIDQ4870562zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 7 May 1996

zbMATH Keywords

bimodal logicframeiterationmodal logictomorrow

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1499093
• The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum
• Speaking about transitive frames in propositional languages
• scientific article; zbMATH DE number 3859091

Cited in

(6)

• A note on an expressiveness hierarchy for multi-exit iteration
• Non-finitely axiomatisable two-dimensional modal logics
• On the Expressive Power of Read-Once Determinants
• A Datastructure for Iterated Powers
• scientific article; zbMATH DE number 1373518 (Why is no real title available?)
• Algebraic Methodology and Software Technology

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