Japaridze's polymodal logic (GLP) is a system of provability logic with infinitely many provability modalities. This system has played an important role...

University. Japaridze is best known for his invention of computability logic, cirquent calculus, and Japaridze's polymodal logic. During 1985–1988 Japaridze elaborated...

Japaridze's polymodal logic Löb's theorem Doxastic logic George Boolos, The Logic of Provability. Cambridge University Press, 1993. Giorgi Japaridze and...

incomplete normal modal logics do exist. A natural example of such a system is Japaridze's polymodal logic. A normal modal logic L corresponds to a class...

Thomas Icard for the purpose of defining a topological model of Japaridze's polymodal logic (GLP). They were later used to generalize variants of Kuratowski's...