Modal logic

Modal logic

Venema, Yde, Rijke, Maarten de, Blackburn, Patrick

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Computers - Programming

Tahun:

2010

Edisi:

4. print. with corr

Penerbit:

Cambridge University Press

Bahasa:

english

Halaman:

554

ISBN 10:

0521802008

ISBN 13:

9780521802000

Nama seri:

Cambridge tracts in theoretical computer science 53

File:

PDF, 2.22 MB

IPFS:

,

english, 2010

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Dag Prawitz — Natural Deduction: A Proof-Theoretical Study

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

Arthur N. Prior — Time and Modality (John Locke Lecture)

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

Brian F. Chellas — Modal Logic: An Introduction

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

James W. Garson — Modal Logic for Philosophers.

A. A. Rini, M. J. Cresswell — The World-Time Parallel: Tense and Modality in Logic and Metaphysics

Garson J.W. — Modal Logic for Philosophers

Max Cresswell, Edwin Mares, Adriane Rini (eds.) — Logical Modalities from Aristotle to Carnap: The Story of Necessity

Johan van Benthem — Modal Logic for Open Minds

Rod Girle — Modal Logics and Philosophy

Humberstone, Lloyd — Philosophical applications of modal logic

Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber (auth.) — Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

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

Zakharyaschev Wolter; Chagrov — Advanced Modal Logic

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

Yde Venema — Many-Dimensional Modal Logic [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]

Yde Venema — Many-Dimensional Modal Logic [PhD Thesis]

Krister Segerberg — An Essay in Classical Modal Logic

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)

Marker, David — Model theory

Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel (eds.) — Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005

Balbiani, Philippe — Advances in modal logic 04

Jonathan Kirby — An Invitation to Model Theory

Walter Carnielli, Claudio Pizzi — Modalities and Multimodalities

Peter Schotch; Bryson Brown; Raymond Jennings — On Preserving: Essays on Preservationism and Paraconsistent Logic

Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Ruy J. G. B. de Queiroz (editor); Alexandra Martins da Silva (editor); Renata Wassermann (editor) — Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

David Marker — An Invitation to Mathematical Logic

Sergei Artemov,Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.) — Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.) — Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Arnon Avron, Anna Zamansky (auth.), Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.) — Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

Istilah kunci