3047 search results - page 23 / 610 » On the Meaning of Logical Completeness |
STACS
1999
Springer
14 years 21 days ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
LATIN
2004
Springer
14 years 1 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
LPAR
2001
Springer
14 years 26 days ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
LOGCOM
2010
13 years 6 months ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
IJCAI
2007
13 years 10 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...