3047 search results - page 5 / 610 » On the Meaning of Logical Completeness |
ATAL
2007
Springer
15 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 ...
APAL
2010
14 years 9 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
14 years 11 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
15 years 1 months ago
2001
Springer
CADE
2010
Springer
14 years 10 months ago
2010
Springer