3776 search results - page 44 / 756 » Partition-Based Logical Reasoning |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
ASIAN
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
ENTCS
2006
13 years 9 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
FUZZY
2004
Springer
14 years 2 months ago
2004
Springer
RSCTC
2004
Springer
14 years 2 months ago
2004
Springer