Evidence theory in multivalued models of modal logic

, &
Journal of Applied Non-Classical Logics 10 (1):55-81 (2000)
  Copy   BIBTEX

Abstract

ABSTRACT A modal logic interpretation of Dempster-Shafer theory is developed in the framework of multivalued models of modal logic, i.e. models in which in any possible world an arbitrary number (possibly zero) of atomic propositions can be true. Several approaches to conditioning in multivalued models of modal logic are presented.

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2000.10510988

Links

PhilArchive



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

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 correspondence for models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
Dempster-Shafer theory framed in modal logic.Elena Tsiporkova, Vesilka Boeva & Bernard De Baets - 1999 - International Journal of Approximate Reasoning 21 (2):157--175.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Full Models for Positive Modal Logic.Ramon Jansana - 2002 - Mathematical Logic Quarterly 48 (3):427-445.
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.
Dynamic Logics of Evidence-Based Beliefs.J. Benthem & E. Pacuit - 2011 - Studia Logica 99 (1-3):61-92.
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.

Analytics

Added to PP
2013-11-24

Downloads
38 (#388,949)

6 months
6 (#349,140)

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

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
A Mathematical Theory of Evidence.Glenn Shafer - 1976 - Princeton University Press.
Upper and Lower Probabilities induced by a Multi- valued Mapping.Arthur Dempster - 1967 - Annals of Mathematical Statistics 38:325-339.
Dempster-Shafer theory framed in modal logic.Elena Tsiporkova, Vesilka Boeva & Bernard De Baets - 1999 - International Journal of Approximate Reasoning 21 (2):157--175.

View all 6 references / Add more references