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

semanticstruth conditionsmodal relevant logics

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

(13)

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

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)