Propositional dynamic logic for searching games with errors

Journal of Applied Logic 12 (4):377-394 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2014.04.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Propositional Logic Card Games.Anthony Shiver - 2013 - Teaching Philosophy 36 (1):51-58.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
A propositional dynamic logic with qualitative probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
Modelling def+easible reasoning by means of adaptive logic games.Peter Verdée - 2012 - Logic Journal of the IGPL 20 (2):417-437.
Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
Logic games: Not just tools, but models of interaction.Johan van Benthem - unknown
Determined game logic is complete.Jan van Eijck - unknown
Towards intuitionistic dynamic logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
Effectivity functions and efficient coalitions in Boolean games.Elise Bonzon, Marie-Christine Lagasquie-Schiex & Jérôme Lang - 2012 - Synthese 187 (S1):73-103.
Presupposition Failure A Comedy of Errors.Jan van Eijck - unknown
A dynamic logic of action.Brigitte Penther - 1994 - Journal of Logic, Language and Information 3 (3):169-210.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Propositional Logic of Imperfect Information: Foundations and Applications.Ahti-Veikko Pietarinen - 2001 - Notre Dame Journal of Formal Logic 42 (4):193-210.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,356,784)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Propositional dynamic logic with belnapian truth values.Igor Sedlár - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 503-519.

Add more citations

References found in this work

Selected Works.Jan Łukasiewicz & L. Borkowski - 1973 - Synthese 26 (1):165-171.

View all 12 references / Add more references