On the positive fragment of the polymodal provability logic GLP

By Evgenij Dashkov. 2012

48 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/5850ee8953656f0f8645e3572952cbb9021513c2