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

descriptive framedualitygeneral framerelevant modal algebrarelevant modal logicRoutley-Meyer semantics

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

• A Sahlqvist theorem for relevant modal logics
• Duality between modal algebras and neighbourhood frames
• Duality for algebras of relevant logics
• 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?)
• Modal logic
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs

Cited in

(28)

• The preservation of coherence
• A general framework for FDE-based modal logics
• Orthogonal frames and indexed relations
• Models for relevant modal logics
• Toward a general frame semantics for modal many-valued logics
• Halldén completeness for relevant modal logics
• Maps and monads for modal frames
• Current trends in substructural logics
• Neighbourhood semantics for modal relevant logics
• Canonicity results of substructural and lattice-based logics
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• Modal frame characterization by way of auxiliary modalities
• scientific article; zbMATH DE number 1936763 (Why is no real title available?)
• Remarks on general monotonic neighbourhood frames
• Grafted frames and S1 -completeness
• Formalizing action and change in modal logic I: the frame problem
• From Frame Properties to Hypersequent Rules in Modal Logics
• QUANTIFIED MODAL RELEVANT LOGICS
• Relevant reasoning and implicit beliefs
• A hyperintensional logic of non-prime evidence
• One variable relevant logics are S5Ish
• Epistemic logics for relevant reasoners
• First-order relevant reasoners in classical worlds
• Minimal modal logics, constructive modal logics and their relations
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
• Generalized Kripke 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)