2585 search results - page 84 / 517 » Automating Coherent Logic |
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
KR
1991
Springer
14 years 1 months ago
1991
Springer
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
ELP
1989
14 years 2 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
DLOG
1996
13 years 11 months ago
1996
d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy