3047 search results - page 60 / 610 » On the Meaning of Logical Completeness |
168
click to vote
AIML
2008
15 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...
132
click to vote
SLP
1990
15 years 7 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
120
click to vote
APAL
2006
15 years 6 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
156
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
159
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...