386 search results - page 21 / 78 » Coalgebraic Hybrid Logic |
131
click to vote
ENTCS
2007
14 years 11 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
HYBRID
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
GRAMMARS
2000
14 years 11 months ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
LOGCOM
2006
14 years 11 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
FSKD
2005
Springer
15 years 5 months ago
2005
Springer