1078 search results - page 21 / 216 » The Modal Logic of Probability |
117
click to vote
IGPL
2002
15 years 3 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
168
Voted
CNKBS
1992
15 years 4 months ago
1992
132
Voted
CSL
2005
Springer
15 years 9 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...