Modal Logic and Classical Logic

✍ Johan van Benthem 📂 Library 📅 1983 🏛 Bibliopolis 🌐 English

The present work is a rewritten version of van Benthem's dissertation ``Modal Correspondence Theory'' (University of Amsterdam, 1976) and a supplementary report called ``Modal Logic as Second-Order Logic'' (University of Amsterdam, 1977).

📁 Modal Logic and Classical Logic

✍ Johan van Benthem 📂 Library 📅 1983 🏛 Bibliopolis 🌐 English

The present work is a rewritten version of van Benthem's dissertation ``Modal Correspondence Theory'' (University of Amsterdam, 1976) and a supplementary report called ``Modal Logic as Second-Order Logic'' (University of Amsterdam, 1977).

Logik / Logic

📁 Logik / Logic

✍ Dina Emundts, Sally Sedgwick 📂 Library 📅 2014 🏛 Walter De Gruyter 🌐 German

Volume 12 of the International Yearbook of German Idealism is dedicated to the theme of logic. The volume begins with essays on Kant. Kant acknowledges that there are various kinds of logic, and he considers it necessary to distinguish his transcendental logic from other kinds of logic.

Logik / Logic

📁 Logik / Logic

✍ Dina Emundts, Sally Sedgwick 📂 Library 📅 2014 🏛 Walter De Gruyter 🌐 German

Volume 12 of the International Yearbook of German Idealism is dedicated to the theme of logic. The volume begins with essays on Kant. Kant acknowledges that there are various kinds of logic, and he considers it necessary to distinguish his transcendental logic from other kinds of logic.

Ontologie und Logik / Ontology and Logic

📁 Ontologie und Logik / Ontology and Logic

✍ Paul Weingartner, Edgar Morscher (eds.) 📂 Library 📅 1979 🏛 Duncker & Humblot 🌐 English

Non-classical logics, model theory and c

📁 Non-classical logics, model theory and computability.

✍ A.I. Arruda, et al 📂 Library 📅 1977 🏛 Elsevier Science 🌐 English