The following pages link to (Q3639040):
Displaying 8 items.
- Non-adjunctive inference and classical modalities (Q812093) (← links)
- A formal system for parallel programs in discrete time and space (Q1157161) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- Undefinability in inquisitive logic with tensor (Q2291224) (← links)
- Herbrand semantics, the potential infinite, and ontology-free logic (Q3990954) (← links)
- Infinitary S5‐Epistemic Logic (Q4351923) (← links)
- An Infinitary Graded Modal Logic (Graded Modalities VI) (Q4857866) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
