General frames for relevant modal logics

DOI10.1305/NDJFL/1082637806zbMATH Open1071.03009OpenAlexW2087078176MaRDI QIDQ558732FDOQ558732

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

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

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)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Sahlqvist theorem for relevant modal logics
• Title not available (Why is that?)
• Duality between modal algebras and neighbourhood frames
• Duality for algebras of relevant logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs

Cited In (24)

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

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)