Sequential Dynamic Logic

Authors:
Alexander Bochman;Dov M. Gabbay
Affiliations:
Computer Science Department, Holon Institute of Technology, Holon, Israel;Computer Science Department, Bar-Ilan University, Ramat Gan, Israel and King's College London, London, UK
Venue:
Journal of Logic, Language and Information
Year:
2012

Citing 6
Cited 2

Exploring logical dynamics

Exploring logical dynamics
Dynamic Logic

Dynamic Logic
An Equational Axiomatization of Dynamic Negation and Relational Composition

Journal of Logic, Language and Information
Substructural logic and partial correctness

ACM Transactions on Computational Logic (TOCL)
Strong Completeness and Limited Canonicity for PDL

Journal of Logic, Language and Information
Causal dynamic inference

Annals of Mathematics and Artificial Intelligence

Causal dynamic inference

Annals of Mathematics and Artificial Intelligence
The Markov assumption: formalization and impact

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with respect to the intended relational semantics is established.