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.

• Type: Conference
• Year: 2008
• Where: AIML
• Authors: Jens Hansen, Thomas Bolander, Torben Braüner
• Keywords: AIML 2008, Hybrid Logics, Logical Reasoning, Many-valued Hybrid Logics, Many-valued Semantics