Pages that link to "Item:Q800346"
From MaRDI portal
The following pages link to The predicate modal logic of provability (Q800346):
Displaying 29 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- Provability in predicate product logic (Q884950) (← links)
- Quantified modal logic and self-reference (Q1097256) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- Insolubility of Gödel-Löb logic with quantifiers of propositional variables (Q1311486) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- The incompleteness of RGL (Q1591336) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Incompleteness and the Barcan formula (Q1896788) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- (Q2753697) (← links)
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)
- Finite Kripke models and predicate logics of provability (Q3211282) (← links)
- Proof-irrelevant model of CC with predicative induction and judgmental equality (Q3224695) (← links)
- (Q3699666) (← links)
- (Q3809769) (← links)
- (Q4250037) (← links)
- On first-order theories with provability operator (Q4323033) (← links)
- A proof-irrelevant model of Martin-Löf's logical framework (Q4405694) (← links)
- A note on Barcan formula (Q4586237) (← links)
- ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
