479 search results - page 13 / 96 » A quantified logic of evidence |
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
LREC
2010
13 years 9 months ago
2010
The national language of the Grand-Duchy of Luxembourg, Luxembourgish, has often been characterized as one of Europe's underdescribed and under-resourced languages. Because o...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
In this article, we study the quantified constraint satisfaction problem (QCSP) over infinite domains. We develop a technique called collapsibility that allows one to give strong c...
CLIMA
2010
13 years 9 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...