A many-sorted variant of Japaridze’s polymodal provability logic
Work
Year: 2018
Type: article
Abstract: We consider a many-sorted variant of Japaridze's polymodal provability logic $\mathsf{GLP}$. In this variant, which is denoted $\mathsf{GLP}^\ast$, propositional variables are assigned sorts $α\leq ω$... more
Source: Logic Journal of IGPL
Institutions TU Wien, Steklov Mathematical Institute, Russian Academy of Sciences, National Research University Higher School of Economics
Cites: 22
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Grant IDS 15-01-09218, W1255-N23