- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Framework for Intuitionistic Grammar Logics
In O. Stock & M. Schaerf, Lecture Notes In Computer Science. Springer Verlag. pp. 495-503 (2006)
Abstract
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.Author's Profile
Tim Lyon
Technische Universität Dresden
Other Versions
No versions found
My notes
Similar books and articles
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri, Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
Which classical correspondence is valid in intuitionistic modal logic?Kensuke Kojima - 2012 - Logic Journal of the IGPL 20 (1):331-348.
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.Jennifer M. Davoren - 2010 - Annals of Pure and Applied Logic 161 (3):349-367.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.Yaroslav Petrukhin - 2024 - Journal of Logic, Language and Information 33 (2):179-196.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Analytics
Added to PP
2022-08-15
Downloads
380 (#82,645)
6 months
91 (#77,339)
2022-08-15
Downloads
380 (#82,645)
6 months
91 (#77,339)
Historical graph of downloads
Author's Profile
Tim Lyon
Technische Universität Dresden
References found in this work
Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
Decidability of SHIQ with complex role inclusion axioms.Ian Horrocks & Ulrike Sattler - 2004 - Artificial Intelligence 160 (1-2):79-104.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5b9ff6f457-t4pt2 uwo