scientific article; zbMATH DE number 1086630
From MaRDI portal
Publication:4362879
zbMath0883.03050MaRDI QIDQ4362879
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicrelation algebrabisimulationsexpressive powerpredicate logiccorrespondence theoryrelational languageverification of reactive systemsmodal completeness and incompleteness resultssyntactical translations
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)
Related Items (2)
State space analysis of Petri nets with relation-algebraic methods ⋮ Interpretability of first-order linear temporal logics in fork algebras
This page was built for publication:
