Sequential Dynamic Logic

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.
Keywords Dynamic logic  Substructural logics  Dynamic predicate logic  Sequent calculus
Categories (categorize this paper)
DOI 10.1007/s10849-011-9152-y
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,396
Through your library
References found in this work BETA
Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):291-292.
Dynamic Squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.
An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Sequence Semantics for Dynamic Predicate Logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
A Propositional Dynamic Logic with Qualitative Probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
Dynamic Non-Commutative Logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.
An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
PDL has Interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.
DΔL: A Dynamic Deontic Logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
Added to PP index
2011-11-24

Total downloads
55 ( #106,542 of 2,225,993 )

Recent downloads (6 months)
2 ( #251,215 of 2,225,993 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature