Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Japaridzes_polymodal_logic> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Japaridzes_polymodal_logic abstract "Japaridze's polymodal logic (GLP), is a system of provability logic with infinitely many modal (provability) operators. 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.".
- Japaridzes_polymodal_logic wikiPageExternalLink 933.
- Japaridzes_polymodal_logic wikiPageExternalLink 10.1007%2Fs00153-014-0397-4.
- Japaridzes_polymodal_logic wikiPageExternalLink 10.1134%2FS0081543811060046.
- Japaridzes_polymodal_logic wikiPageExternalLink 10.1134%2FS0081543811060198?LI=true.
- Japaridzes_polymodal_logic wikiPageExternalLink 10.1007%2F978-3-642-22303-7_1.
- Japaridzes_polymodal_logic wikiPageExternalLink 447.abstract.
- Japaridzes_polymodal_logic wikiPageExternalLink Shapirovsky.pdf.
- Japaridzes_polymodal_logic wikiPageExternalLink 0521483255.
- Japaridzes_polymodal_logic wikiPageExternalLink 1988PolymodalProvLog.pdf.
- Japaridzes_polymodal_logic wikiPageExternalLink 016800729390200W.
- Japaridzes_polymodal_logic wikiPageExternalLink S0168007203001325.
- Japaridzes_polymodal_logic wikiPageExternalLink S016800720900116X.
- Japaridzes_polymodal_logic wikiPageExternalLink S0168007213000778.
- Japaridzes_polymodal_logic wikiPageID "46851461".
- Japaridzes_polymodal_logic wikiPageLength "11918".
- Japaridzes_polymodal_logic wikiPageOutDegree "10".
- Japaridzes_polymodal_logic wikiPageRevisionID "680711428".
- Japaridzes_polymodal_logic wikiPageWikiLink Category:Modal_logic.
- Japaridzes_polymodal_logic wikiPageWikiLink Category:Proof_theory.
- Japaridzes_polymodal_logic wikiPageWikiLink Category:Provability_logic.
- Japaridzes_polymodal_logic wikiPageWikiLink George_Boolos.
- Japaridzes_polymodal_logic wikiPageWikiLink Giorgi_Japaridze.
- Japaridzes_polymodal_logic wikiPageWikiLink Peano_axioms.
- Japaridzes_polymodal_logic wikiPageWikiLink Provability_logic.
- Japaridzes_polymodal_logic wikiPageWikiLinkText "Japaridze's polymodal logic".
- Japaridzes_polymodal_logic wikiPageUsesTemplate Template:Reflist.
- Japaridzes_polymodal_logic subject Category:Modal_logic.
- Japaridzes_polymodal_logic subject Category:Proof_theory.
- Japaridzes_polymodal_logic subject Category:Provability_logic.
- Japaridzes_polymodal_logic hypernym System.
- Japaridzes_polymodal_logic comment "Japaridze's polymodal logic (GLP), is a system of provability logic with infinitely many modal (provability) operators. 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.".
- Japaridzes_polymodal_logic label "Japaridze's polymodal logic".
- Japaridzes_polymodal_logic sameAs Q22905962.
- Japaridzes_polymodal_logic sameAs m.013b9741.
- Japaridzes_polymodal_logic sameAs Q22905962.
- Japaridzes_polymodal_logic wasDerivedFrom Japaridzes_polymodal_logic?oldid=680711428.
- Japaridzes_polymodal_logic isPrimaryTopicOf Japaridzes_polymodal_logic.