A note on an extension of PDL

&
Journal of Applied Logic 6 (4):606-608 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.12.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

PDL with negation of atomic programs.Carsten Lutz & Dirk Walther - 2005 - Journal of Applied Non-Classical Logics 15 (2):189-213.
Retraction note for "pdl has interpolation".Tomasz Kowalski - 2004 - Journal of Symbolic Logic 69 (3):935-935.
Retraction note for “PDL has interpolation”.Tomasz Kowalski - 2004 - Journal of Symbolic Logic 69 (3):935-935.
From positive PDL to its non-classical extensions.Igor Sedlár & Vít Punčochář - 2019 - Logic Journal of the IGPL 27 (4):522-542.
Action frames for weak relevant logics.Igor Sedlár - 2015 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2014. College Publications. pp. 267-279.
PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown
Dirk Batens, editorial note 3 Andrzej Wisniewski, questions and inferences 5 Diderik Batens, a general characterization of adaptive logics. 45 Mariusz Urbanski, synthetic tableaux and erotetic search scenarios: Extension and extraction 69. [REVIEW]Liza Verhoeven, All Premises Are Equal, But Some Are More, Erik Weber, Maarten van Dyck & Adaptive Logic - 2001 - Logique Et Analyse 44:1.
Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189 by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189 by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definiti. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
Aristotelian Relations in PDL: The Hypercube of Dynamic Oppositions.José David García Cruz - 2017 - Special Issue 5th World Congress on the Square of Opposition Easter Island, November 11-15, 2016.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,165,599)

6 months
6 (#588,740)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references