1078 search results - page 40 / 216 » The Modal Logic of Probability |
107
click to vote
TABLEAUX
1999
Springer
15 years 6 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
108
click to vote
TLCA
2001
Springer
15 years 6 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
122
click to vote
DEON
2010
Springer
15 years 3 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
109
click to vote
FLAIRS
2006
15 years 3 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...