QUANTIFIED MODAL RELEVANT LOGICS

DOI10.1017/S1755020321000216OpenAlexW3043284895MaRDI QIDQ5880427

Nicholas Ferenz

Publication date: 2 March 2023

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

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

zbMATH Keywords

relational semanticsrelevant logicquantified relevant logicmodal relevant logicgeneral frame semanticsquantified modal relevant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Model theory (03Cxx)

Related Items (1)

Varieties of Relevant S5

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• General frames for relevant modal logics
• An admissible semantics for propositionally quantified relevant logics
• Semantics for quantified relevance logic
• The admissibility of \(\gamma\) in R4
• The semantics of \(R4\)
• The semantics of entailment. II
• A Sahlqvist theorem for relevant modal logics
• Positive modal logic
• Models for relevant modal logics
• Notes on stratified semantics
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Classically complete modal relevant logics
• An alternative semantics for quantified relevant logic
• Semantic analysis of tense logics

This page was built for publication: QUANTIFIED MODAL RELEVANT LOGICS