A modal logic internalizing normal proofs
Abstract
References
Index Terms
- A modal logic internalizing normal proofs
Recommendations
Hypersequent Calculi for Modal Logics Extending S4
New Frontiers in Artificial IntelligenceAbstractIn this paper, we introduce hypersequent calculi for some modal logics extending S4 modal logic. In particular, we uniformly characterize hypersequent calculi for S4, S4.2, S4.3, S5 in terms of what are called “external modal structural rules” for ...
Terminating Calculi and Countermodels for Constructive Modal Logics
Automated Reasoning with Analytic Tableaux and Related MethodsAbstractWe investigate terminating sequent calculi for constructive modal logics and in the style of Dyckhoff’s calculi for intuitionistic logic. We first present strictly terminating calculi for these logics. Our calculi provide immediately a ...
The decidability of the intensional fragment of classical linear logic
Intensional classical linear logic (MELL) is proved decidable.Intensional interlinear logic (RLL) is proved decidable.We adapt Kripke's method used to prove decidability for some relevance logics.The semi-relevant RLL emerges as a logic superior to MELL ...
Comments
Information & Contributors
Information
Published In
Publisher
Academic Press, Inc.
United States
Publication History
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in