๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Algebras of Intervals and a Logic of Conditional Assertions

โœ Scribed by Peter Milne


Book ID
111597666
Publisher
Springer Netherlands
Year
2004
Tongue
English
Weight
341 KB
Volume
33
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A general approach for determining the v
โœ Chris Groeneboer; James P. Delgrande ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 915 KB

An approach to theorem proving for the class of normal conditional logics is presented. These logics have been shown to be appropriate for representing a wide variety of commonsense assertions, including default and prototypical properties, counterfactuals, notions of obligation, and others. The log