One variable relevant logics are S5Ish

DOI10.1007/S10992-024-09753-8MaRDI QIDQ6606834FDOQ6606834

Authors: Nicholas Ferenz 

Publication date: 17 September 2024

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

one-variable fragmentmodal relevant logicfirst-order relevant logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• The semantics of entailment. II
• The semantics of entailment. III
• The connectives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relative necessity
• An alternative semantics for quantified relevant logic
• General frames for relevant modal logics
• Positive modal logic
• On some intuitionistic modal logics
• A Sahlqvist theorem for relevant modal logics
• Semantics for quantified relevance logic
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Title not available (Why is that?)
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Title not available (Why is that?)
• A content semantics for quantified relevant logics. I
• A content semantics for quantified relevant logics. II
• Models for relevant modal logics
• The semantics of \(R4\)
• QUANTIFIED MODAL RELEVANT LOGICS
• The one-variable fragment of corsi logic
• Neighbourhood semantics for quantified relevant logics
• One-variable fragments of intermediate logics over linear frames
• Title not available (Why is that?)
• Varieties of Relevant S5
• First-order relevant reasoners in classical worlds

This page was built for publication: One variable relevant logics are S5Ish

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