711 search results - page 80 / 143 » Modal Logics are Coalgebraic |
92
Voted
ENTCS
2008
14 years 10 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...
85
Voted
AML
2005
14 years 10 months ago
2005
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
90
Voted
ICLP
1997
Springer
15 years 2 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original...
75
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...