Pages that link to "Item:Q1135843"
From MaRDI portal
The following pages link to Provability, truth, and modal logic (Q1135843):
Displaying 9 items.
- Maximality in modal logic (Q1092032) (← links)
- A propositional logic with explicit fixed points (Q1156789) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Saving the truth schema from paradox (Q1610606) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- Chalmers, Quantifier Variance and Mathematicians’ Freedom (Q3299525) (← links)
- Asymptotic Quasi-completeness and ZFC (Q3305340) (← links)
- PROBLEMS WITH COMPLEXITY IN GOLD'S PARADIGM OF INDUCTION Part I: Dynamic Complexity (Q3495668) (← links)
- Accelerating machines: a review (Q5451177) (← links)
