On the decidability of certain semi-lattice based modal logics

DOI10.1007/978-3-319-66902-1_3MaRDI QIDQ1694448zbMATH OpenOpenAlexFDO

Authors 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

decidabilityheap numbermodal logicrelevance logicsemi-lattice based logicsequent calculi

Mathematics Subject Classification ID

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

Recommendations

• The development of decidability proofs based on sequent calculi
• Decidability of some classes of modal logic
• On the decidability of implicational ticket entailment
• scientific article; zbMATH DE number 2062375
• Proof analysis in modal logic

Cited in

(7)

• Decidability of some classes of modal logic
• Decidability of order-based modal logics
• scientific article; zbMATH DE number 1441851 (Why is no real title available?)
• The development of decidability proofs based on sequent calculi
• On the Semilattice of Modal Operators and Decompositions of the Discriminator
• Interpretations of weak positive modal logics
• Modalities in lattice-R

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

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