First-order relevant reasoners in classical worlds

DOI10.1017/S1755020323000096MaRDI QIDQ6638235zbMATH OpenFDO

Authors Nicholas Ferenz

Publication date 14 November 2024

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

Full work available at URL https://doi.org/10.1017/S1755020323000096

zbMATH Keywords

epistemic logicfirst-order epistemic logicnon-Tarskian quantifiersrelevant logic

Mathematics Subject Classification ID

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

Cites work

• A Sahlqvist theorem for relevant modal logics
• An alternative semantics for quantified relevant logic
• Epistemic logics for sceptical agents
• General frames for relevant modal logics
• General information in relevant logic
• scientific article; zbMATH DE number 2131056 (Why is no real title available?)
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• scientific article; zbMATH DE number 3821690 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• Identity in Mares-Goldblatt models for quantified relevant logic
• Identity in relevant logics: a relevant predication approach
• Neighbourhood semantics for quantified relevant logics
• QUANTIFIED MODAL RELEVANT LOGICS
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Relevant agents
• Relevant identity
• Relevant reasoners in a classical world
• Substructural epistemic logics
• The semantics of \(R4\)

Cited in

(2)

• One variable relevant logics are S5Ish
• Symmetry and completeness in relevant epistemic logic

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

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