scientific article; zbMATH DE number 1086630

zbMATH Open0883.03050MaRDI QIDQ4362879FDOQ4362879

Authors: Wolfgang Heinle, Holger Schlingloff 

Publication date: 13 November 1997

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

Recommendations

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

zbMATH Keywords

bisimulationsmodal logicpredicate logicrelation algebraexpressive powercorrespondence theoryrelational languageverification of reactive systemsmodal completeness and incompleteness resultssyntactical translations

Mathematics Subject Classification ID

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

Cited In (14)

• Title not available (Why is that?)
• State space analysis of Petri nets with relation-algebraic methods
• Title not available (Why is that?)
• Algebras of Relations and Relevance Logic
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• Title not available (Why is that?)
• Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
• Title not available (Why is that?)
• Relational Logics and Their Applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relations in monadic third-order logic
• 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)