Add to ORKGHybrid languages are expansions of propositional modal languages which can refer to (or even quantify over) worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work (for example [BS98, BT98a, BT99]) has focussed on a more constrained system calle
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal langu...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal langu...
We investigate expressivity and complexity of hybrid logics on linear structures. Hy-brid logics are...
Hybrid languages are extended modal languages which can refer to (or even quantify over) worlds. The...
Hybrid logics are extension of modal logics which have been investigated in great detail in the past...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal lang...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em...
Introduction. Hybrid logics are extensions of orthodox modal logics in which it is possible to name ...
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are ...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an ext...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
Hybrid languages are modal languages that allow direct reference to the elements of a model. Even th...
Hybrid Logics are usually presented as an extension of modal logics where we can explicitly refer to...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal langu...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal langu...
We investigate expressivity and complexity of hybrid logics on linear structures. Hy-brid logics are...
Hybrid languages are extended modal languages which can refer to (or even quantify over) worlds. The...
Hybrid logics are extension of modal logics which have been investigated in great detail in the past...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal lang...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em...
Introduction. Hybrid logics are extensions of orthodox modal logics in which it is possible to name ...
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are ...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an ext...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
Hybrid languages are modal languages that allow direct reference to the elements of a model. Even th...
Hybrid Logics are usually presented as an extension of modal logics where we can explicitly refer to...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal langu...
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal langu...
We investigate expressivity and complexity of hybrid logics on linear structures. Hy-brid logics are...