Plausibility Revision in Higher-Order Logic With an Application in Two-Dimensional Semantics

In Arrazola Xabier & Maria Ponte (eds.), LogKCA-10 - Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge. ILCLI (2010)
  Copy   BIBTEX

Abstract

In this article, a qualitative notion of subjective plausibility and its revision based on a preorder relation are implemented in higher-order logic. This notion of plausibility is used for modeling pragmatic aspects of communication on top of traditional two-dimensional semantic representations.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision.Hans Rott - 2012 - Journal of Philosophical Logic 41 (1):173-200.
Yet more modal logics of preference change and belief revision.Jan van Eijck - unknown
Belief Revision in Dynamic Epistemic Logic and Ranking Theory.Peter Fritz - manuscript
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.
Revision algebra semantics for conditional logic.John Pais - 1992 - Studia Logica 51 (2):279 - 316.
Iterated belief revision and conditional logic.Laura Giordano, Valentina Gliozzi & Nicola Olivetti - 2002 - Studia Logica 70 (1):23-47.
Belief revision in a temporal framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Distance semantics for belief revision.Daniel Lehmann, Menachem Magidor & Karl Schlechta - 2001 - Journal of Symbolic Logic 66 (1):295-317.
Belief Revision and Relevance.Peter Gardenfors - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:349 - 365.
Probabilistic dynamic belief revision.Alexandru Baltag & Sonja Smets - 2008 - Synthese 165 (2):179 - 202.
A formal model of multi-agent belief-interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):397-422.

Analytics

Added to PP
2011-01-19

Downloads
30 (#533,622)

6 months
1 (#1,473,216)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Erich Rast
New University of Lisbon

Citations of this work

Epistemology, Context, and Formalism.Franck Lihoreau & Manuel Rebuschi (eds.) - 2014 - Heidelberg: Springer Verlag.

Add more citations

References found in this work

No references found.

Add more references