-admissibility in first-order modal relevant logics: method of normal models

MaRDI QIDQ6936634zbMATH OpenFDO

Authors Nicholas Ferenz, Thomas Macaulay Ferguson

Publication date 28 August 2025

Published in Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (Search for Journal in Brave)

Full work available at URL https://www.collegepublications.co.uk/downloads/ifcolog00073.pdf#section*.6

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) Combined logics (03B62)

This page was built for publication: \(\gamma\)-admissibility in first-order modal relevant logics: method of normal models

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