First-order relevant reasoners in classical worlds

DOI10.1017/s1755020323000096MaRDI QIDQ6638235

Nicholas Ferenz

Publication date: 14 November 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

relevant logicepistemic logicfirst-order epistemic logicnon-Tarskian quantifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Classical first-order logic (03B10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: First-order relevant reasoners in classical worlds