Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Modal Logic and Classical Logic

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

Modal Logic and Classical Logic

Johan van Benthem

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

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

Categorie:

Mathematics - Logic
Society, Politics & Philosophy - General & Miscellaneous Philosophy

Anno:

1983

Casa editrice:

Bibliopolis

Lingua:

english

Pagine:

217

ISBN 10:

887088113X

ISBN 13:

9788870881134

Collana:

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

File:

DJVU, 2.54 MB

IPFS:

,

english, 1983

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Jackendoff et al. (eds.) — Language, logic and concepts

Maria Manzano — Extensions of First-Order Logic

Fine Kit — Model Theory for Modal Logic Part 3

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]

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

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

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

Alexander Chagrov, Michael Zakharyaschev — Modal Logic

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

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

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

Bell J.L., Slomson A.B. — Models and Ultraproducts: An Introduction

Kanger S. (ed.) — Proceedings of the Third Scandinavian Logic Symposium: Uppsala, 1973

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

Marcus Kracht — Tools and Techniques in Modal Logic

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman — Quantification in Nonclassical Logic

Maria Manzano — Extensions of First-Order Logic

Maria Manzano — Extensions of first order logic

Burgess J.P. — Philosophical logic

J. L Bell — Models and ultraproducts. An introduction

Leblanc H. (ed.) — Truth, syntax and modality: Proceedings Philadelphia, 1970

John Bell, Moshe Machover — A course in mathematical logic

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Azriel Lévy — A hierarchy of formulas in set theory

John P. Burgess — Philosophical Logic

Åsa Hirvonen (editor); Juha Kontinen (editor); Roman Kossak (editor); Andrés Villaveces (editor) — Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Termini più frequenti