A hybridization of irreflexive modal logics
From MaRDI portal
Publication:2867951
Recommendations
Cites work
- scientific article; zbMATH DE number 4148058 (Why is no real title available?)
- scientific article; zbMATH DE number 3821688 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1975416 (Why is no real title available?)
- Axiomatising the logic of computer programming
- Hybrid languages
- Interpolation for extended modal languages
- Modal logic
- Modal logic with names
- Model theory.
- Nominal tense logic
- Semantical characterizations for irreflexive and generalized modal languages
- Specifying message passing and time-critical systems with temporal logic
Cited in
(4)
This page was built for publication: A hybridization of irreflexive modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867951)