Interpretations of weak positive modal logics

DOI10.1007/978-3-030-71258-7_2zbMATH Open1486.03042OpenAlexW3188738353MaRDI QIDQ5020162FDOQ5020162

Authors: 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

Recommendations

• scientific article; zbMATH DE number 4061202
• A new semantics for positive modal logic
• scientific article
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• scientific article; zbMATH DE number 3896902

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

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

Cited In (5)

• A Modal Extension of Weak Generalisation Predicate Logic
• Title not available (Why is that?)
• Positive modal logic
• A calculus for the common rules of \(\wedge\) and \(\vee\)
• Title not available (Why is that?)

This page was built for publication: Interpretations of weak positive modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020162)