Modal Logic and Classical Logic

Main
Society, Politics & Philosophy - General & Miscellaneous Philosophy
Modal Logic and Classical Logic

Modal Logic and Classical Logic

Johan van Benthem

5.0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

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).

Kategorien:

Society, Politics & Philosophy - General & Miscellaneous Philosophy

Jahr:

1983

Verlag:

Bibliopolis

Sprache:

english

Seiten:

217

ISBN 10:

887088113X

ISBN 13:

9788870881134

Serien:

Indices. Monographs in Philosophical Logic and Formal Linguistics, volume 3

Datei:

PDF, 4.98 MB

IPFS:

,

english, 1983

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Krister Segerberg — An Essay in Classical Modal Logic

Kripke Saul — A Completeness Theorem in Modal Logic (paper)

Daniel Gallin (Eds.) — Intensional and Higher-Order Modal Logic

Nino B. Cocchiarella, Max A. Freund — Modal Logic. An Introduction to Its Syntax and Semantics

Dov M. Gabbay, Larisa Maksimova — Interpolation and Definability: Modal and Intuitionistic Logics

Alexander Chagrov, Michael Zakharyaschev — Modal Logic

Charles S. Chihara — The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic

Bob Hale, Aviv Hoffmann — Modality: Metaphysics, Logic, and Epistemology

G.E.Hughes, M.J.Cresswell — A New Introduction to Modal Logic

Marcus Kracht — Tools and Techniques in Modal Logic

Richard Patterson — Aristotle's Modal Logic: Essence and Entailment in the Organon

Brian F. Chellas — Modal Logic: An Introduction

Sally Popkorn — First Steps in Modal Logic

James W. Garson — Modal Logic for Philosophers.

E. J. Lemmon, D. Scott — An Introduction to Modal Logic

Johan van Benthem — A Manual of Intensional Logic

Michael Zakharyaschev — Advances In Modal Logic Volume 4

Johan van Benthem — Modal Logic for Open Minds

Rod Girle — Modal Logics and Philosophy

Amitabha Gupta, Johan van Benthem (ed.) — Logic and Philosophy Today

Frank Wolter, Heinrich Wansing, Maarten De Rijke, Michael Zakharyaschev — Advances in modal logic

Maria Manzano — Extensions of First-Order Logic

Fine Kit — Model Theory for Modal Logic Part 3

Edith Spaan — Complexity of Modal Logics [PhD Thesis]

Frank Wolter — Lattices of Modal Logics [PhD Thesis]

Frank Wolter — Lattices of Modal Logics [PhD Thesis]

Michael Zakharyaschev, Frank Wolter, Alexander Chagrov — Advanced Modal Logic [pp. 83-266]

Michael Zakharyaschev, Frank Wolter, Alexander Chagrov — Advanced Modal Logic [pp. 83-266]

J.F.A.K. van Benthem — Modal Correspondence Theory [PhD Thesis]

J.F.A.K. van Benthem — Modal Correspondence Theory [PhD Thesis]

Edith Spaan — Complexity of Modal Logics [PhD Thesis]

Marcus Kracht — Internal Definability and Completeness in Modal Logic [PhD Thesis]

Alexander Chagrov, Michael Zakharyaschev — (Oxford Logic Guides 35, 1997) Modal Logic

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Rodenburg P.H. — Intuitionistic Correspondence Theory [PhD Thesis]

Rodenburg P.H. — Intuitionistic Correspondence Theory [PhD Thesis]

Bar-Hillel Y. (ed.) — Logic, methodology and philosophy of science II: Proc. Jerusalem, 1964

Guzicki W., Marek W., Pelc A., Rauszer C. (eds.) — Open days in model theory and set theory: Proceedings Jadwisin, 1981

Bowen, Kenneth A — Model theory for modal logic: Kripke models for modal predicate calculi

Barwise, Jon; Feferman, Solomon (eds.) — Model-theoretic logics

M.J. Cresswell, G.E. Hughes — A New Introduction to Modal Logic

Am meisten angefragte Begriffe