1078 search results - page 20 / 216 » The Modal Logic of Probability |
199
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
107
click to vote
AMAI
2007
Springer
14 years 12 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
127
click to vote
LFCS
2009
Springer
15 years 6 months ago
2009
Springer
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...
119
click to vote
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
104
click to vote
JAPLL
2010
14 years 6 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...