An explicit basis for admissible rules of modal logics of finite width
From MaRDI portal
Publication:4966006
Authors: V. V. Rimatskij 
Publication date: 18 March 2021
Full work available at URL: http://mathnet.ru/eng/jsfu10
Recommendations
- scientific article; zbMATH DE number 1396691
- Bases of admissible inference rules in tabular modal logics of depth 2
- An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
- Admissible Rules of Modal Logics
- On construction of an explicit basis for admissible inference rules of modal logics extending S4.1
Cites Work
- Admissibility of logical inference rules
- On the admissible rules of intuitionistic propositional logic
- Bases of admissible rules of the logics S4 and Int
- Construction of an explicit basis for rules admissible in modal system S4
- Title not available (Why is that?)
- One hundred and two problems in mathematical logic
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Connected modal logics
- Admissible Rules of Modal Logics
- An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz
- On construction of an explicit basis for admissible inference rules of modal logics extending S4.1
- Title not available (Why is that?)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics
- Construction of an explicit basis for rules admissible in modal system S4
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: An explicit basis for admissible rules of modal logics of finite width
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4966006)
