348 search results - page 4 / 70 » Justification logics and hybrid logics |
CORR
2002
Springer
13 years 5 months ago
2002
Springer
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant...
HYBRID
2007
Springer
13 years 12 months ago
2007
Springer
CORR
2007
Springer
13 years 5 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
AIML
2008
13 years 7 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
AIML
2006
13 years 7 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...