About: Japaridze's polymodal logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Japaridze's polymodal logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdfs:label	Japaridze's polymodal logic (en)
rdfs:comment	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. (en)
sameAs	Japaridze's polymodal logic
dbp:wikiPageUsesTemplate	dbt:Cbignore dbt:Dead_link dbt:Math dbt:Reflist
Subject	Proof theory Provability logic Modal logic
gold:hypernym	System
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Japaridze's_polymodal_logic?oldid=1043855351&ns=0
Wikipage page ID	46851461 (xsd:integer)
page length (characters) of wiki page	11342 (xsd:nonNegativeInteger)
Wikipage revision ID	1043855351 (xsd:integer)
Link from a Wikipage to another Wikipage	Proof theory Propositional calculus Provability logic Proof theory Provability logic George Boolos Giorgi Japaridze Modal logic PSPACE-complete Second-order arithmetic Moscow State University First-order logic Gödel numbering Kripke semantics Modal logic Peano axioms Polytopological space dbr:Ordinal__notation
has abstract	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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Japaridze's_polymodal_logic
is Wikipage redirect of	Japaridze's Polymodal Logic
is Link from a Wikipage to another Wikipage of	Giorgi Japaridze Japaridze's Polymodal Logic GLP Kripke semantics
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Japaridze's_polymodal_logic

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software