Model checking propositional dynamic logic with all extras

Journal of Applied Logic 4 (1):39-49 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.08.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Efficiently checking propositional refutations in HOL theorem provers.Tjark Weber & Hasan Amjad - 2009 - Journal of Applied Logic 7 (1):26-40.
Dynamic extensions of arrow logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
Model checking hybrid logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.
Propositional dynamic logic for searching games with errors.Bruno Teheux - 2014 - Journal of Applied Logic 12 (4):377-394.
The complexity of first-order and monadic second-order logic revisited.Markus Frick & Martin Grohe - 2004 - Annals of Pure and Applied Logic 130 (1-3):3-31.
Temporal logics for concurrent recursive programs: Satisfiability and model checking.Benedikt Bollig, Aiswarya Cyriac, Paul Gastin & Marc Zeitoun - 2014 - Journal of Applied Logic 12 (4):395-416.
A decidable timeout-based extension of linear temporal logic.Janardan Misra & Suman Roy - 2014 - Journal of Applied Non-Classical Logics 24 (3):262-291.
Polyadic dynamic logics for hpsg parsing.Anders Søgaard & Martin Lange - 2009 - Journal of Logic, Language and Information 18 (2):159-198.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Copy and remove as dynamic operators.Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert & François Schwarzentruber - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):181-220.

Analytics

Added to PP
2016-06-30

Downloads
31 (#727,171)

6 months
6 (#856,140)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Formal learning theory.Oliver Schulte - 2008 - Stanford Encyclopedia of Philosophy.
Polyadic dynamic logics for hpsg parsing.Anders Søgaard & Martin Lange - 2009 - Journal of Logic, Language and Information 18 (2):159-198.
Minimal proof search for modal logic k model checking.Abdallah Saffidine - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 346--358.

View all 8 citations / Add more citations

References found in this work

A Lower Complexity Bound for Propositional Dynamic Logic with Intersection.M. Lange - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-147.

Add more references