The following pages link to (Q3743302):
Displaying 8 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- Rosser Orderings in Bimodal Logics (Q4206710) (← links)
- The complexity of the modal predicate logic of “true in every transitive model of ZF” (Q4382481) (← links)
- Constructive validity is nonarithmetic (Q5202185) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)