Pages that link to "Item:Q1877094"
From MaRDI portal
The following pages link to Effective completeness theorems for modal logic (Q1877094):
Displaying 4 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
