Pages that link to "Item:Q2106873"
From MaRDI portal
The following pages link to On the proof theory of infinitary modal logic (Q2106873):
Displaying 10 items.
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- (Q3639040) (← links)
- Herbrand semantics, the potential infinite, and ontology-free logic (Q3990954) (← links)
- (Q4395613) (← links)
- (Q4695118) (← links)
- An Infinitary Graded Modal Logic (Graded Modalities VI) (Q4857866) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- (Q5116398) (← links)
- Infinitary logic with infinite sequents: syntactic investigations (Q6561653) (← links)