✦ LIBER ✦

The Treatises on Modal Propositions and on Hypothetical Propositions by Richard Lavenham

✍ Scribed by Spade, Paul Vincent

Book ID: 120998605
Publisher: Brepols Publishers, NV
Year: 1973
Tongue: French
Weight: 547 KB
Volume: 35
Category: Article
ISSN: 0076-5872
DOI: 10.1484/J.MS.2.306130

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the simple substitution property for

On the simple substitution property for superintuitionistic and modal propositional logics

✍ V. I. Khomich 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 151 KB

Twelve Propositions by Kenneth Burke on

Twelve Propositions by Kenneth Burke on the Relation between Economics and Psychology

✍ Kenneth Burke and Margaret Schlauch 📂 Article 📅 1938 🏛 Guilford Publishing Inc 🌐 English ⚖ 1001 KB

A Note on the Paper "A Set of Axioms of

A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."by Arata Ishimoto;A Formulation of the Modal Propositional Calculus Equivalent to S4by Arata Ishimoto

✍ Review by: A. N. Prior 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 329 KB

The effect of bounding the number of pri

The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

✍ Joseph Y. Halpern 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 910 KB

A well-known result of Ladner says that the satisfiability problem for K45, KD45, and S5 is NP-complete. This result implicitly assumes that there are infinitely many primitive propositions in the language; it is easy to see that the satisfiability problem for these logics becomes linear time if the

Propositions Containing Some Properties

Propositions Containing Some Properties of Tangents to Circles; and of Trapeziums Inscribed in Circles, and Non-Inscribed. Together with Propositions on the Elliptic Representations of Circles, upon a Plane Surface, by Perspective. [Abstract]

✍ Richard Hey 📂 Article 📅 1800-1814 🏛 The Royal Society ⚖ 133 KB

Propositions and Suggestions on the mean

Propositions and Suggestions on the means of obviating or lessening the accidents incident to navigation by steam

✍ John S. Williams 📂 Article 📅 1831 🏛 Elsevier Science 🌐 English ⚖ 949 KB