Interpretations of Weak Positive Modal Logics

DOI10.1007/978-3-030-71258-7_2zbMath1486.03042OpenAlexW3188738353MaRDI QIDQ5020162

Katalin Bimbó

Publication date: 4 January 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71258-7_2

zbMATH Keywords

modal logicrelational semanticssequent calculusrelevance logicsemi-latticethree-termed relation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is relevance logic?
• Linear logic
• Relational semantics for Kleene logic and action logic
• Philosophy of logic
• Dual gaggle semantics for entailment
• The semantics and proof theory of linear logic
• Hypersequents, logical consequence and intermediate logics for concurrency
• On the decidability of certain semi-lattice based modal logics
• Decidability of linear affine logic
• Positive modal logic
• Symmetric generalized Galois logics
• The decidability of the intensional fragment of classical linear logic
• Logical Modalities from Aristotle to Carnap
• A completeness theorem in modal logic
• Relevant entailment—semantics and formal systems
• A constructive analysis of RM
• Some relevance logics from the point of view of relational semantics
• Proof Theory

This page was built for publication: Interpretations of Weak Positive Modal Logics