scientific article
From MaRDI portal
Publication:3939782
zbMath0482.03008MaRDI QIDQ3939782
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicprogram semanticslogics of programsseparable dynamic algebrasdiscrepancy between the standard and nonstandard modelsnatural topology on Kripke models of propositional dynamic logictopological Kripke models
Other nonclassical logic (03B60) Model theory (03C99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25)
Related Items (14)
Peirce algebras ⋮ Towards automating duality ⋮ Dynamic algebras with test ⋮ Topology and duality in modal logic ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Duality for modal \(\mu\)-logics ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Domain theory in logical form ⋮ Duality and the completeness of the modal \(\mu\)-calculus ⋮ Subsumption computed algebraically ⋮ Synchronous Kleene algebra ⋮ A system of dynamic modal logic ⋮ Equational theories for automata ⋮ Results on the propositional \(\mu\)-calculus
This page was built for publication:
