✦ LIBER ✦

Quantified Multimodal Logics in Simple Type Theory

✍ Scribed by Christoph Benzmüller, Lawrence C. Paulson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The theory of differentially closed fiel

✍ Cowles, J. 📂 Article 📅 1977 🏛 Springer-Verlag ⚖ 539 KB

Asymptotic Densities in Logic and Type T

✍ Zofia Kostrzycka; Marek Zaionc 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 286 KB

Logic in the 1930s: type theory and mode

✍ Schiemer, Georg; Reck, Erich H. 📂 Article 📅 2013 🏛 JSTOR 🌐 English ⚖ 314 KB

Representing model theory in a type-theo

✍ Fulya Horozal; Florian Rabe 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 407 KB

The Theory of Superatomic Boolean Algebr

✍ Burkhard Molzan 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 713 KB

[Studies in Fuzziness and Soft Computing

✍ Castillo, Oscar 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 304 KB