✦ LIBER ✦

A note on comparing probabilistic and modal logics of conditionals

✍ Scribed by ERNEST W. ADAMS

Book ID: 114916265
Publisher: Wiley (Blackwell Publishing)
Year: 2008
Tongue: English
Weight: 404 KB
Volume: 43
Category: Article
ISSN: 1755-2567
DOI: 10.1111/j.1755-2567.1977.tb00787.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the axiomatisation of brouwers

A note on the axiomatisation of brouwersche modal logic

✍ R. E. Jennings 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 118 KB

A note on conditional logics and entropy

✍ Gabriele Kern-Isberner 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 745 KB

The principles of maximum entropy and of minimum cross-entropy (ME-principles) provide an elegant and reasonable tool to represent quantified uncertainties within a probabilistic framework. The results the application of these principles yield are not only well behaved in a statistical sense but pro

A note on the expressibility problem for

A note on the expressibility problem for modal logics and star-free regular expressions

✍ Balder ten Cate 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 161 KB

A note on universal instantiation in the

A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems

✍ William Harper 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 399 KB

On combinations of propositional dynamic

On combinations of propositional dynamic logic and doxastic modal logics

✍ Renate A. Schmidt; Dmitry Tishkovsky 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 482 KB

Systems of Transfinite Type Theory Based

Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics

✍ Kenneth A. Bowen 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those