Pages that link to "Item:Q2501168"
From MaRDI portal
The following pages link to No escape from Vardanyan's theorem (Q2501168):
Displaying 6 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
