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

Partition and revision: The semantics of counterfactuals

โœ Scribed by Angelika Kratzer

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
817 KB
Volume
10
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The semantics of anxiety
The semantics of anxiety
โœ P. Pichot ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 157 KB ๐Ÿ‘ 2 views

The semantics of the basic psychiatric technical terms related to the anxiety disorders, anxiety, fear and panic, raises complex problems of translation, especially between the English, French and German languages. Some of the speciยฎc diculties and their consequences on the international understandi

Facts and the semantics of gerunds
Facts and the semantics of gerunds
โœ John Martin ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 849 KB
Who's to blame? Counterfactual reasoning
Who's to blame? Counterfactual reasoning and the assignment of blame
โœ Elizabeth H. Creyer; Zeynep Gรผrhan ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 113 KB

The role of counterfactual reasoning and the assignment of blame within a context involving product failure, personal injury, and luck was examined. In the first study, it was determined that directing attention to the focal individual in an event increased the perceived mutability of that individua

Coalgebras and monads in the semantics o
Coalgebras and monads in the semantics of Java
โœ Bart Jacobs; Erik Poll ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 225 KB

This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the veriรฟcation of (sequential) Java programs using proof tools in the LOOP project at the