One variable relevant logics are S5Ish
type: Item
instance of: scholarly article
title: One variable relevant logics are S5Ish
author: Nicholas Ferenz
published in: Journal of Philosophical Logic
publication date: 2024-09-17T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7914750
zbMATH Keywords: first-order relevant logic
zbMATH Keywords: one-variable fragment
zbMATH Keywords: modal relevant logic
MaRDI profile type: Publication
cites work: Q4297115
cites work: A content semantics for quantified relevant logics. I
cites work: A content semantics for quantified relevant logics. II
cites work: The one-variable fragment of corsi logic
cites work: One-variable fragments of intermediate logics over linear frames
cites work: Positive modal logic
cites work: First-order relevant reasoners in classical worlds
cites work: QUANTIFIED MODAL RELEVANT LOGICS
cites work: Semantics for quantified relevance logic
cites work: Models for relevant modal logics
cites work: Q5198903
cites work: Q3093482
cites work: An alternative semantics for quantified relevant logic
cites work: Q3509055
cites work: The semantics of \(R4\)
cites work: Q3669375
cites work: Q4495850
cites work: On some intuitionistic modal logics
cites work: The semantics of entailment. II
cites work: The semantics of entailment. III
cites work: Q4077984
cites work: Q3701398
cites work: General frames for relevant modal logics
cites work: A Sahlqvist theorem for relevant modal logics
cites work: Relative necessity
cites work: Varieties of Relevant S5
cites work: An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
cites work: Neighbourhood semantics for quantified relevant logics
DOI: 10.1007/S10992-024-09753-8
description: scientific article; zbMATH DE number 7914750