884 search results - page 6 / 177 » A Proof Theory for DL-Lite |
109
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
123
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
100
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
115
click to vote
DIAGRAMS
2010
Springer
15 years 2 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
MLQ
2006
15 years 1 months ago
2006
This paper is a companion to work of Feferman, J