First-order relevant reasoners in classical worlds
type: Item
instance of: scholarly article
title: First-order relevant reasoners in classical worlds
author: Nicholas Ferenz
published in: The Review of Symbolic Logic
publication date: 2024-11-14T00:00:00Z
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 7944273
zbMATH Keywords: relevant logic
zbMATH Keywords: epistemic logic
zbMATH Keywords: non-Tarskian quantifiers
zbMATH Keywords: first-order epistemic logic
MaRDI profile type: Publication
cites work: Q4297115
cites work: Epistemic logics for sceptical agents
cites work: Relevant agents
cites work: Q5067978
cites work: QUANTIFIED MODAL RELEVANT LOGICS
cites work: Q5198903
cites work: Q3509055
cites work: Relevant identity
cites work: General information in relevant logic
cites work: An alternative semantics for quantified relevant logic
cites work: The semantics of \(R4\)
cites work: Q3669375
cites work: Q3701398
cites work: Substructural epistemic logics
cites work: Q5884975
cites work: Q4068699
cites work: General frames for relevant modal logics
cites work: A Sahlqvist theorem for relevant modal logics
cites work: Identity in Mares-Goldblatt models for quantified relevant logic
cites work: Q3158565
cites work: Neighbourhood semantics for quantified relevant logics
DOI: 10.1017/S1755020323000096
description: scientific article; zbMATH DE number 7944273