3047 search results - page 5 / 610 » On the Meaning of Logical Completeness |
112
Voted
ATAL
2007
Springer
15 years 6 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
15 years 24 days 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...
112
click to vote
CADE
2008
Springer
15 years 2 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....
87
Voted
CADE
2001
Springer
15 years 4 months ago
2001
Springer
72
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer