1391 search results - page 44 / 279 » Completeness of Neighbourhood Logic |
CORR
2008
Springer
13 years 9 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 4 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
13 years 10 months 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...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
KI
1992
Springer
14 years 1 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...