The following pages link to (Q3337453):
Displaying 25 items.
- Action emulation (Q375313) (← links)
- The language of social software (Q625718) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Belief ascription under bounded resources (Q987466) (← links)
- Strong completeness and limited canonicity for PDL (Q1006490) (← links)
- The semantics of Hoare's iteration rule (Q1078551) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Action incompleteness (Q1207435) (← links)
- A model existence theorem in infinitary propositional modal logic (Q1332142) (← links)
- On bringing it about (Q1908787) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Proof-theoretic modal PA-completeness. I: A system-sequent metric (Q1970598) (← links)
- Proof-theoretic modal PA-completeness. III: The syntactic proof (Q1970916) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- Modal Kleene algebra applied to program correctness (Q2281640) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Completeness and counter-example generations of a basic protocol logic (extended abstract) (Q2863872) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454) (← links)
- (Q4288052) (← links)
- Modal logic for modelling actions and agents (Q4632321) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
