scientific article

zbMath0546.03011MaRDI QIDQ3337453

Krister Segerberg

Publication date: 1982

Full work available at URL: https://eudml.org/doc/209235

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

zbMATH Keywords

inverse operatorcompletenessfiltrationsKripke semanticscanonical modelsregular dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Categoricity and completeness of theories (03C35)

Related Items

The semantics of Hoare's iteration rule, A model existence theorem in infinitary propositional modal logic, An algebraic study of well-foundedness, An exercise on the generation of many-valued dynamic logics, Algebraic Semantics for Dynamic Dynamic Logic, On bringing it about, Action emulation, Towards reasoning about Hoare relations, A survey on temporal logics for specifying and verifying real-time systems, The language of social software, Dynamic modal logic with counting: when reduction axioms work and fail, Propositional Dynamic Logic as a Logic of Belief Revision, Completeness for flat modal fixpoint logics, Modal logic for modelling actions and agents, Logical analysis of demonic nondeterministic programs, Dynamic algebras: Examples, constructions, applications, Action incompleteness, Belief ascription under bounded resources, Strong completeness and limited canonicity for PDL, Dynamic Epistemic Logics