479 search results - page 22 / 96 » A quantified logic of evidence |
IJAC
2010
13 years 5 months ago
2010
We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindstr
ENTCS
2006
13 years 8 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
AML
2006
13 years 8 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
SUM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...