QUANTIFIED MODAL RELEVANT LOGICS

DOI10.1017/S1755020321000216MaRDI QIDQ5880427zbMATH OpenOpenAlexFDO

Authors 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

general frame semanticsmodal relevant logicquantified modal relevant logicquantified relevant logicrelational semanticsrelevant 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)

Recommendations

• scientific article; zbMATH DE number 5295712
• Neighbourhood semantics for quantified relevant logics
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• An admissible semantics for propositionally quantified relevant logics

Cites work

• A Sahlqvist theorem for relevant modal logics
• An admissible semantics for propositionally quantified relevant logics
• An alternative semantics for quantified relevant logic
• Classically complete modal relevant logics
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• General frames for relevant modal logics
• scientific article; zbMATH DE number 440024 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 6538190 (Why is no real title available?)
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Modal logic
• Models for relevant modal logics
• Mostly Meyer modal models
• Notes on stratified semantics
• Positive modal logic
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Semantic analysis of tense logics
• Semantics for quantified relevance logic
• The admissibility of \(\gamma\) in R4
• The semantics of \(R4\)
• The semantics of entailment. II

Cited in

(15)

• A theoretical investigation into quantitative modal logic
• Modal metatheory for quantified modal logic, with and without the Barcan formulas
• Neighbourhood semantics for quantified relevant logics
• Modal logic with bounded quantification over worlds
• scientific article; zbMATH DE number 5295712 (Why is no real title available?)
• scientific article; zbMATH DE number 6751870 (Why is no real title available?)
• An alternative semantics for quantified relevant logic
• Varieties of Relevant S5
• One variable relevant logics are S5Ish
• First-order relevant reasoners in classical worlds
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
• Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
• Quantified modal relevant logics. II: Welcome to the neighbourhood
• Symmetry and completeness in relevant epistemic logic
• Polyadic De Morgan monoids: functional representation and MG structures

This page was built for publication: QUANTIFIED MODAL RELEVANT LOGICS

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