scientific article; zbMATH DE number 1086630

MaRDI QIDQ4362879zbMATH OpenFDO

Authors Wolfgang Heinle, Holger Schlingloff

Publication date 13 November 1997

zbMATH Keywords

bisimulationscorrespondence theoryexpressive powermodal completeness and incompleteness resultsmodal logicpredicate logicrelation algebrarelational languagesyntactical translationsverification of reactive systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Applications of computability and recursion theory (03D80) Cylindric and polyadic algebras; relation algebras (03G15) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 67039
• scientific article; zbMATH DE number 4061199
• Modal logic

Cited in

(14)

• Relations in monadic third-order logic
• State space analysis of Petri nets with relation-algebraic methods
• scientific article; zbMATH DE number 4177028 (Why is no real title available?)
• Algebras of Relations and Relevance Logic
• scientific article; zbMATH DE number 4061199 (Why is no real title available?)
• scientific article; zbMATH DE number 67039 (Why is no real title available?)
• scientific article; zbMATH DE number 6863637 (Why is no real title available?)
• scientific article; zbMATH DE number 2144768 (Why is no real title available?)
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• scientific article; zbMATH DE number 5021967 (Why is no real title available?)
• Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
• Relational Logics and Their Applications
• scientific article; zbMATH DE number 2196588 (Why is no real title available?)
• Interpretability of first-order linear temporal logics in fork algebras

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