scientific article
From MaRDI portal
Publication:3897035
zbMath0451.03005MaRDI QIDQ3897035
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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