𝔖 Bobbio Scriptorium

✦ LIBER ✦

On McKinsey's Syntactical Characterizations of Systems of Modal Logic.by F. R. Drake

✍ Scribed by Review by: David Makinson

Book ID: 124972684
Publisher: Association for Symbolic Logic
Year: 1971
Tongue: English
Weight: 176 KB
Volume: 36
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272524

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On McKinsey's Syntatical Characterizatio

On McKinsey's Syntatical Characterizations of Systems of Modal Logic

✍ F. R. Drake 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 234 KB

A Remark on the Truth-Value Stipulation

A Remark on the Truth-Value Stipulation for the Modal System M'.by Akira Nakamura;On an Axiomatic System of Modal Logic.by Akira Nakamura;On a Paper of Akira Nakamura.by R. A. Bull

✍ Review by: M. K. Rennie 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

A Note on the Modal Calculi S4.2 and S4.

A Note on the Modal Calculi S4.2 and S4.3by R. A. Bull;A Class of Extensions of the Modal System S4 with the Finite Model Propertyby R. A. Bull;That all Normal Extensions of S4.3 have the Finite Model Propertyby R. A. Bull

✍ Review by: David Makinson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB

XXII. On the Tracheal System of Simulium

XXII. On the Tracheal System of Simulium. Thomas Harold Taylor, M.A. communicated by Prof. Louis Compton Miall, F.R.S

📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 724 KB

Reply to comments by S. Toucanne, S. Zar

Reply to comments by S. Toucanne, S. Zaragosi, F. Eynaud, J. F. Bourillet, G. Lericolais and P. L. Gibbard on ‘Causes, consequences and chronology of large-magnitude palaeoflows in Middle and Late Pleistocene river systems of northwest Europe’, by Rob Westaway and David R. Bridgland ()

✍ Rob Westaway; David R. Bridgland 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

Physiology and pharmacology of vascular

Physiology and pharmacology of vascular neuroreflector systems: Symposium on the Physiology of Vascular Neuroeffector Systems, Interlaken, 1969. Edited by J. A. Bevan, R. F. Furchgott, R. A. Maxwell, and A. P. Somlyo, Basel and New York, 1971, S. Karger, A. G., 349 pp. Price $17.30

📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 77 KB