Interpretations of weak positive modal logics

DOI10.1007/978-3-030-71258-7_2MaRDI QIDQ5020162zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1406808 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• A completeness theorem in modal logic
• A constructive analysis of RM
• Decidability of linear affine logic
• Dual gaggle semantics for entailment
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Hypersequents, logical consequence and intermediate logics for concurrency
• Linear logic
• Logical modalities from Aristotle to Carnap. The story of necessity
• On the decidability of certain semi-lattice based modal logics
• Philosophy of logic
• Positive modal logic
• Proof theory. Sequent calculi and related formalisms
• Relational semantics for Kleene logic and action logic
• Relevant entailment—semantics and formal systems
• Some relevance logics from the point of view of relational semantics
• Symmetric generalized Galois logics
• The decidability of the intensional fragment of classical linear logic
• The semantics and proof theory of linear logic
• What is relevance logic?

Cited in

(5)

• A Modal Extension of Weak Generalisation Predicate Logic
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• Positive modal logic
• A calculus for the common rules of \(\wedge\) and \(\vee\)
• scientific article; zbMATH DE number 6290307 (Why is no real title available?)

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)