On the decidability of certain semi-lattice based modal logics

DOI10.1007/978-3-319-66902-1_3zbMath1496.03079OpenAlexW2751464668MaRDI QIDQ1694448

Katalin Bimbó

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_3

zbMATH Keywords

modal logicdecidabilityrelevance logicsequent calculiheap numbersemi-lattice based logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Interpretations of Weak Positive Modal Logics

This page was built for publication: On the decidability of certain semi-lattice based modal logics