Dealing with the Ramification Problem in Extended Propositional Dynamic Logic

In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 173-191 (2002)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Buy the book Find it on Amazon.com
ISBN(s)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,677
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
A Propositional Dynamic Logic with Qualitative Probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
Reasoning About Action and Change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.
Towards Intuitionistic Dynamic Logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
Cut Elimination for Propositional Dynamic Logic Without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
Frame Problem in Dynamic Logic.Dongmo Zhang & Norman Foo - 2005 - Journal of Applied Non-Classical Logics 15 (2):215-239.
Action Frames for Weak Relevant Logics.Igor Sedlár - 2015 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2014. College Publications. pp. 267-279.
Validity Measurement in Some Propositional Logics.Branislav Boričić - 1997 - Mathematical Logic Quarterly 43 (4):550-558.
A Dynamic Logic of Action.Brigitte Penther - 1994 - Journal of Logic, Language and Information 3 (3):169-210.

Analytics

Added to PP index
2018-02-17

Total views
0

Recent downloads (6 months)
0

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes