3119 search results - page 102 / 624 » General Default Logic |
157
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
142
click to vote
JAR
2010
15 years 1 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
DLT
2009
15 years 1 months ago
2009
We aim to generalize B
138
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
112
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...