3122 search results - page 144 / 625 » A Theory of Network Equivalence |
162
click to vote
LICS
2005
IEEE
16 years 20 hour ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
160
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
158
click to vote
ICFCA
2005
Springer
15 years 12 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
163
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
166
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...