3047 search results - page 77 / 610 » On the Meaning of Logical Completeness |
JAPLL
2010
13 years 5 months ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
CADE
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
IGPL
2011
13 years 5 months ago
2011
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of su...
DLOG
1997
14 years 8 days ago
1997
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness...