3047 search results - page 5 / 610 » On the Meaning of Logical Completeness |
ATAL
2007
Springer
14 years 1 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 ...
APAL
2010
13 years 7 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
CADE
2008
Springer
13 years 9 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
CADE
2001
Springer
13 years 11 months ago
2001
Springer
CADE
2010
Springer
13 years 8 months ago
2010
Springer