Publisher
Oxford University Press (OUP)
Reference16 articles.
1. Completeness problem in the propositional calculus;Bokov;Intelligent Systems,2009
2. Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
3. G. V. Bokov. Undecidable problems for propositional calculi with implication. Logic Journal of the IGPL, 24, 792–806, 2016.
4. Undecidable properties of superintuitionistic logics;Chagrov;Mathematical Problems of Cybernetics,1994
5. Chagrov A. and Zakharyaschev M. . Modal Logic. Vol. 35 of Oxford Logic Guides, Oxford University Press, 1997.