Abstract | ||
---|---|---|
Tarski gave a general semantics for deductive reasoning: a formula α may be deduced from a set A of formulas iff α holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula α may be deduced from a set A of formulas iff α holds in all of the preferred models in which all the elements of A hold. Shoham proposed that the notion of preferred ... |
Year | DOI | Venue |
---|---|---|
2001 | 10.1093/logcom/11.2.229 | Journal of Logic and Computation |
Keywords | DocType | Volume |
Nonmonotonic logics,nonmonotonic reasoning,choice functions,qualitative probability measures | Journal | 11 |
Issue | ISSN | Citations |
2 | 0955-792X | 14 |
PageRank | References | Authors |
1.03 | 19 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel J. Lehmann | 1 | 1270 | 330.79 |