scientific article; zbMATH DE number 3869303

MaRDI QIDQ3337453zbMATH OpenFDO

Authors Krister Segerberg

Publication date 1982

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

zbMATH Keywords

canonical modelscompletenessfiltrationsinverse operatorKripke semanticsregular dynamic logic

Mathematics Subject Classification ID

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

Recommendations

• On the Completeness of Dynamic Logic
• scientific article; zbMATH DE number 3898856
• A completeness theorem for dynamic logic
• A system of dynamic modal logic
• scientific article; zbMATH DE number 3845547

Cited in

(39)

• Strong completeness and limited canonicity for PDL
• The semantics of Hoare's iteration rule
• An algebraic study of well-foundedness
• Arithmetical completeness versus relative completeness
• Dynamic algebras: Examples, constructions, applications
• A modal logic for cyclic repeating
• Action incompleteness
• A model existence theorem in infinitary propositional modal logic
• On bringing it about
• Towards reasoning about Hoare relations
• Completeness theorems for reactive modal logics
• Proof-theoretic modal PA-completeness. I: A system-sequent metric
• Proof-theoretic modal PA-completeness. III: The syntactic proof
• Simpler completeness proofs for modal logics with intersection
• On strictly arithmetical completeness in logics of programs
• Modal Kleene algebra applied to program correctness
• An exercise on the generation of many-valued dynamic logics
• A survey on temporal logics for specifying and verifying real-time systems
• Completeness and counter-example generations of a basic protocol logic (extended abstract)
• Kripke completeness revisited
• scientific article; zbMATH DE number 3872671 (Why is no real title available?)
• Algebraic Semantics for Dynamic Dynamic Logic
• Propositional Dynamic Logic as a Logic of Belief Revision
• On the Completeness of Dynamic Logic
• scientific article; zbMATH DE number 3898856 (Why is no real title available?)
• Action emulation
• scientific article; zbMATH DE number 553883 (Why is no real title available?)
• A new proof of completeness for a relative modal logic with composition and intersection
• Modal logic for modelling actions and agents
• Dynamic epistemic logics
• Satisfiability and completeness of converse-PDL replayed
• Dynamic modal logic with counting: when reduction axioms work and fail
• The language of social software
• Completeness for flat modal fixpoint logics
• Logical analysis of demonic nondeterministic programs
• Modal logics with intersection modality
• A complete propositional dynamic logic for regular expressions with lookahead
• A completeness theorem for dynamic logic
• Belief ascription under bounded resources

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3337453)