Mostly Meyer modal models

MaRDI QIDQ2735687zbMATH OpenFDO

Authors Edwin D. Mares

Publication date 4 September 2001

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

modal relevant logicssemanticstruth conditions

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)

Recommendations

• Models for relevant modal logics
• Classically complete modal relevant logics
• A Sahlqvist theorem for relevant modal logics
• Some metacomplete relevant modal logics
• scientific article; zbMATH DE number 2149468

Cited in

(15)

• On Sahlqvist formulas in relevant logic
• Models for relevant modal logics
• Halldén completeness for relevant modal logics
• Neighbourhood semantics for modal relevant logics
• Kripke completeness revisited
• scientific article; zbMATH DE number 4179336 (Why is no real title available?)
• scientific article; zbMATH DE number 3877149 (Why is no real title available?)
• Modal formulas true at some point in every model
• Some metacomplete relevant modal logics
• Classically complete modal relevant logics
• POPULAR DCT MODELS
• On some questions of L. Åqvist
• QUANTIFIED MODAL RELEVANT LOGICS
• Varieties of Relevant S5
• Symmetry and completeness in relevant epistemic logic

This page was built for publication: Mostly Meyer modal models

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