Halldén completeness for relevant modal logics
From MaRDI portal
Publication:2354625
DOI10.1215/00294527-2864334zbMath1339.03020OpenAlexW2052417268MaRDI QIDQ2354625
Publication date: 20 July 2015
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1429277355
Routley-Meyer semanticsHalldén completenessSahlqvist formulasrelevant modal logicsvan Benthem-Humberstone theorem
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Cites Work