General frames for relevant modal logics

DOI10.1305/NDJFL/1082637806MaRDI QIDQ558732zbMATH OpenOpenAlexFDO

Authors Takahiro Seki

Publication date 13 July 2005

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1082637806

zbMATH Keywords

dualityrelevant modal logicdescriptive frameRoutley-Meyer semanticsgeneral framerelevant modal algebra

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) Other algebras related to logic (03G25)

Recommendations

• Toward a general frame semantics for modal many-valued logics
• Models for relevant modal logics
• Generalized Kripke frames
• Classically complete modal relevant logics
• Maps and monads for modal frames

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3972838 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1416395 (Why is no real title available?)
• A Sahlqvist theorem for relevant modal logics
• Duality between modal algebras and neighbourhood frames
• Duality for algebras of relevant logics
• Modal logic
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs

Cited in

(24)

• Maps and monads for modal frames
• Epistemic logics for relevant reasoners
• Halldén completeness for relevant modal logics
• Formalizing action and change in modal logic I: the frame problem
• A hyperintensional logic of non-prime evidence
• Toward a general frame semantics for modal many-valued logics
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• A general framework for FDE-based modal logics
• Canonicity results of substructural and lattice-based logics
• One variable relevant logics are S5Ish
• The preservation of coherence
• Generalized Kripke frames
• QUANTIFIED MODAL RELEVANT LOGICS
• First-order relevant reasoners in classical worlds
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• scientific article; zbMATH DE number 1936763 (Why is no real title available?)
• Grafted frames and S1 -completeness
• Current trends in substructural logics
• Modal frame characterization by way of auxiliary modalities
• Neighbourhood semantics for modal relevant logics
• Relevant reasoning and implicit beliefs
• From Frame Properties to Hypersequent Rules in Modal Logics
• Remarks on general monotonic neighbourhood frames
• Generalised \(\mathbf{BK}\)-frames

This page was built for publication: General frames for relevant modal logics

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