scientific article

zbMath0451.03005MaRDI QIDQ3897035

Dexter Kozen

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke modelpropositional dynamic logicdynamic algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25) General topics in the theory of software (68N01)

Related Items (18)

Peirce algebras ⋮ On dynamic algebras ⋮ Canonical finite models of Kleene algebra with tests ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Semigroup actions on posets and preimage quasi-orders ⋮ On the complexity of Kleene algebra with domain ⋮ Epistemic Logics of Structured Intensional Groups ⋮ Every free algebra in the variety generated by the representable dynamic algebras is separable and representable ⋮ Process logic: Expressiveness, decidability, completeness ⋮ Domain theory in logical form ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Subdirectly irreducible separable dynamic algebras ⋮ Boolean restriction categories and taut monads ⋮ Dynamic Łukasiewicz logic and its application to immune system ⋮ Results on the propositional \(\mu\)-calculus ⋮ Taut Monads, Dynamic Logic and Determinism ⋮ Semantics of looping programs in Propositional Dynamic Logic

This page was built for publication: