Skip to search formSkip to main contentSkip to account menu

Japaridze's polymodal logic

Japaridze's polymodal logic (GLP), is a system of provability logic with infinitely many modal (provability) operators. This system has played an… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Visual metaphors create rich imagery that can evoke various responses from the audience. This variety is nevertheless limited by… 
2010
2010
2009
2009
The Hungarian composer Bela Bartok (1881-1945), unquestionably the twentieth-century’s most authoritative collector and analyst… 
2006
2006
Athletic competition elicits a stress response that is both physical and psychological in nature. Additionally, following… 
1980
1980
SummaryThe gelation of-aqueous gelatin solutions is caused by crystallization of the polymer component. Investigations of the…