183 search results - page 5 / 37 » Exemplaric Expressivity of Modal Logics |
125
Voted
AIML
2008
15 years 1 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
115
Voted
SYNTHESE
2008
14 years 11 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
86
Voted
IANDC
2006
14 years 11 months ago
2006
Fixpoint Logic with Chop extends the modal
196
Voted
POPL
2007
ACM
15 years 12 months 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...