Sciweavers

AIML
2008

Many-valued hybrid logic

13 years 5 months ago
Many-valued hybrid logic
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 rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
Jens Hansen, Thomas Bolander, Torben Braüner
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where AIML
Authors Jens Hansen, Thomas Bolander, Torben Braüner
Comments (0)