Modal Logic - The Lewis Modal Systems

Main
Mathematics - Logic
Modal Logic - The Lewis Modal Systems

Modal Logic - The Lewis Modal Systems

Zeman

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

A contemporary survey of the modal logic systems explored by C.I. Lewis.

Thể loại:

Mathematics - Logic

Ngôn ngữ:

english

File:

PDF, 177.67 MB

IPFS:

,

english0

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Kyburg H., Teng C. — Uncertain inference

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic

Alan Ross Anderson and Nuel D.Belnap, Jr. — Entailment: The Logic of Relevance and Necessity

Unknown — ProofTheory-BW.pdf

Roberta Ballarin — Modern Origins of Modal Logic (SEP)

misc. authors — Proceedings of a Colloquium on Modal and Many-Valued Logics

Artemov, S.N. — Explicit Provability and Constructive Semantics

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

Lloyd Humberstone — The Connectives

Lloyd Humberstone — The Connectives

Grigori Mints — A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Grigori Mints — A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)

Queiroz, Ruy J. G. B. de (ed.) — Logic for concurrency and synchronisation

Raymond M. Smullyan — A Beginner's Guide to Mathematical Logic

Raymond M. Smullyan — First-Order Logic

Raymond M. Smullyan — A Beginner's Guide to Mathematical Logic

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

Anderson A.R., Belnap Jr.N.D. — Entailment: The logic of relevance and necessity.

Alan Ross Anderson, Nuel D. Belnap, J. Michael Dunn — Entailment, Vol. 2: The Logic of Relevance and Necessity

Sara Negri, Jan von Plato — Proof Analysis: A Contribution to Hilbert's Last Problem

Alan Ross Anderson — Entailment, Vol. II: The Logic of Relevance and Necessity

Ruy J.G.B. de Queiroz (ed.) — Logic for Concurrency and Synchronisation

Béziau, Jean-Yves; Carnielli, Walter Alexandre; Gabbay, Dov M. — Handbook of Paraconsistency

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

Andrzej Indrzejczak — Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Stéphane Demri, Deepak Kapur, Christoph Weidenbach (eds.) — Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.) — Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Fitting, Melvin — Proof methods for modal and intuitionistic logics

Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.) — Theories of types and proofs

Veikko Rantala (auth.), Peter I. Bystrov, Vadim N. Sadovsky (eds.) — Philosophical Logic and Logical Philosophy: Essays in Honour of Vladimir A. Smirnov

Melvin Fitting (auth.) — Proof Methods for Modal and Intuitionistic Logics

Felscher, Walter — Lectures on Mathematical Logic Volume II Calculi for Derivations and Deductions

Donald Davidson (auth.), J. W. Davis, D. J. Hockney, W. K. Wilson (eds.) — Philosophical Logic

Wei Li, Yuefei Sui — R-Calculus, IV: Propositional Logic

Từ khóa thường sử dụng nhất