DEL-sequents for regression and epistemic planning

Journal of Applied Non-Classical Logics 22 (4):337 - 367 (2012)
  Copy   BIBTEX

Abstract

(2012). DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 337-367. doi: 10.1080/11663081.2012.736703

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2012.736703

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Modal logics for reasoning about infinite unions and intersections of binary relations.Natasha Alechina, Philippe Balbiani & Dmitry Shkatov - 2012 - Journal of Applied Non-Classical Logics 22 (4):275 - 294.
Reasoning without believing: on the mechanisation of presuppositions and partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
Foreword.Jean-Yves Béziau & Alexandre Costa-Leite - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):1-1.
Capturing the relationship between conditionals and conditional probability with a trivalent semantics.Daniel Rothschild - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):144-152.
Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
Generalized DEL-sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.
Composing models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous.Tobias Schmidt-Samoa - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):209-239.
DEL-sequents for progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.
Epistemic space of degradation processes.Liu Yang & Antoine Rauzy - 2020 - Journal of Applied Non-Classical Logics 31 (1):1-25.

Analytics

Added to PP
2013-03-01

Downloads
42 (#368,940)

6 months
13 (#277,191)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Planning-based knowing how: A unified approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.
Formal learning theory.Oliver Schulte - 2008 - Stanford Encyclopedia of Philosophy.
DEL-sequents for progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.
Generalized DEL-sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.

View all 10 citations / Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.

View all 14 references / Add more references