21 search results - page 1 / 5 » A multimodal logic for reasoning about complementarity |
JANCL
2000
13 years 10 months ago
2000
ENTCS
2008
13 years 11 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...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
DEON
2004
Springer
14 years 4 months ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
ICAIL
2005
ACM
14 years 4 months ago
2005
ACM
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the ...