Models of the Polymodal . . .

DMCA

Models of the Polymodal . . . (2008)

Cached

Download Links

by Thomas F. Icard, III

Citations

690	Set theory - Jech - 1978
618	Extending modal logic - Rijke - 1993
151	The Logic of Provability - Boolos - 1993
97	Eine interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums - Gödel - 1933
33	Provability algebras and proof-theoretic ordinals, I - Beklemishev - 2004
30	Solution of a problem of Leon Henkin - Löb - 1955
24	On strong provability predicates and the associated modal logics - Ignatiev - 1993
20	Reflection principles and provability algebras in formal arithmetic (Russian). Uspehi Matematicheskih Nauk - Beklemishev - 2005
17	Intuitionistic logic and modality via topology - Esakia - 2003
14	Veblen hierarchy in the context of provability algebras. Utrecht Logic Group Preprint Series - Beklemishev - 2004
13	Infinitary proof theory - Pohlers - 1999
12	Interpretability Formalized - Joosten - 2004
11	Infinitary combinatorics and modal logic - BLASS - 1990
10	A finitary treatment of the closed fragment of Japaridze’s provability logic - Beklemishev, Joosten, et al. - 2005
8	Provability: The emergence of a mathematical modality - Boolos, Sambin - 1991
7	Ordinal completeness of the GödelLöb modal system (Russian - Abashidze - 1985
7	Modal logic in mathematics - Artemov - 2006
5	On the Craig interpolation and the fixed point property for GLP. Utrecht Logic Group Preprint Series - Beklemishev
4	Classification of scattered and hereditarily irresolvable spaces. submitted - Bezhanishvili, Morandi - 2008
2	ω-consistency and the diamond - Boolos - 1980
1	Kripke Semantics for Provability Logic GLP. Utrecht Logic Group Preprint Series - Beklemishev - 2007
1	Modal Logic. Oxford University Press. 48 - Chagrov, Zakharyaschev - 1997
1	The closed fragment of Japaridze’s polymodal logic and the logic of Σ1-conservativity - Ignatiev - 1992
1	The polymodal logic of provability (Russian - Japaridze - 1985