General frames for relevant modal logics

DOI10.1305/ndjfl/1082637806zbMath1071.03009OpenAlexW2087078176MaRDI QIDQ558732

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) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ Current trends in substructural logics ⋮ Relevant reasoning and implicit beliefs ⋮ Neighbourhood semantics for modal relevant logics ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ Halldén completeness for relevant modal logics

Cites Work

• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
• A Sahlqvist theorem for relevant modal logics
• Duality between modal algebras and neighbourhood frames
• Duality for algebras of relevant logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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