74 search results - page 5 / 15 » On the Multimodal Logic of Normative Systems |
EUSFLAT
2009
14 years 11 months ago
2009
122
click to vote
ENTCS
2008
15 years 1 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
168
click to vote
LORI
2009
Springer
15 years 8 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
149
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
112
click to vote
CLIMA
2010
15 years 3 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...