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

A semantic analysis of conditional logic

โœ Scribed by ROBERT C. STALNAKER; RICHMOND H. THOMASON

Book ID
114916173
Publisher
Wiley (Blackwell Publishing)
Year
2008
Tongue
English
Weight
851 KB
Volume
36
Category
Article
ISSN
1755-2567

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Semantic Analysis of Tense Logics
Semantic Analysis of Tense Logics
โœ S. K. Thomason ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 974 KB
A semantic basis for the termination ana
A semantic basis for the termination analysis of logic programs
โœ Michael Codish; Cohavit Taboch ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 287 KB

This paper presents a formal semantic basis for the termination analysis of logic programs. The semantics exhibits the termination properties of a logic program through its binary unfoldings ยฑ a possibly inยฎnite set of binary clauses. Termination of a program P and goal G is determined by the absenc