Japaridze's polymodal logic
id:
japaridze-s-polymodal-logic-279-9221044
title:
Japaridze's polymodal logic
text:
Japaridze's polymodal logic (GLP) is a system of provability logic with infinitely many provability modalities. This system has played an important role in some applications of provability algebras in proof theory, and has been extensively studied since the late 1980s. It is named after Giorgi Japaridze.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Japaridze%27s_polymodal_logic
date created:
date modified:
2023-06-01T21:15:40Z
main entity:
{"identifier":"Q22905962","url":"https://www.wikidata.org/entity/Q22905962"}
image:
fields total:
13
integrity:
13