1078 search results - page 5 / 216 » The Modal Logic of Probability |
SLOGICA
1998
13 years 7 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
AISC
1998
Springer
13 years 11 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
FOSSACS
2005
Springer
14 years 28 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
JANCL
2008
13 years 7 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...