Pages that link to "Item:Q1118582"
From MaRDI portal
The following pages link to The disjunction and existence properties for axiomatic systems of truth (Q1118582):
Displaying 8 items.
- On theories with the general disjunction property (Q995384) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Conceptual engineering for truth: aletheic properties and new aletheic concepts (Q2693135) (← links)
- The equivalence of the disjunction and existence properties for modal arithmetic (Q3486545) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- The two halves of disjunctive correctness (Q6038484) (← links)