Sciweavers

1078 search results - page 7 / 216
» The Modal Logic of Probability
Sort
View
LFCS
1992
Springer
13 years 11 months ago
Many-Valued Non-Monotonic Modal Logics
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operator...
Melvin Fitting
IGPL
2008
116views more  IGPL 2008»
13 years 7 months ago
Modal Matters for Interpretability Logics
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...
Evan Goris, Joost J. Joosten
DLOG
2003
13 years 8 months ago
Extensions to Description Logics
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
Franz Baader, Ralf Küsters, Frank Wolter
FOSSACS
2008
Springer
13 years 9 months ago
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
Dirk Pattinson, Lutz Schröder
AMAI
2008
Springer
13 years 7 months ago
Justification logics, logics of knowledge, and conservativity
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
Melvin Fitting