Boxes and Diamonds. An Open Introduction to Modal Logic
(2019)
| Authors |
Richard Zach
University of Calgary
|
| Abstract |
A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.
|
| Keywords | modal logic intuitionistic logic counterfactuals |
| Categories | (categorize this paper) |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
On Some Intuitionistic Modal Logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
The Contribution of A.V. Kuznetsov to the Theory of Modal Systems and Structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Models for Normal Intuitionistic Modal Logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Paranormal Modal Logic – Part II: K?, K and Classical Logic and Other Paranormal Modal Systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Gentzen Sequent Calculi for Some Intuitionistic Modal Logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Implicit Versus Explicit Knowledge in Dialogical Logic.Manuel Rebuschi - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 229--246.
On the Finite Model Property of Intuitionistic Modal Logics Over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Paranormal Modal Logic–Part I: The System K? And the Foundations of the Logic of Skeptical and Credulous Plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
On Classical Behavior of Intuitionistic Modalities.Sergey Deobyshevich - 2014 - Logic and Logical Philosophy 24 (1):79-104.
Superintuitionistic Companions of Classical Modal Logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Analytics
Added to PP index
2020-01-25
Total views
130 ( #63,313 of 2,286,133 )
Recent downloads (6 months)
130 ( #4,155 of 2,286,133 )
2020-01-25
Total views
130 ( #63,313 of 2,286,133 )
Recent downloads (6 months)
130 ( #4,155 of 2,286,133 )
How can I increase my downloads?
Downloads
