Pages that link to "Item:Q1877094"
From MaRDI portal
The following pages link to Effective completeness theorems for modal logic (Q1877094):
Displaying 13 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Computable Kripke models and intermediate logics (Q1271561) (← links)
- The completeness problem for modal logic (Q1709685) (← links)
- Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Finite models constructed from canonical formulas (Q2462682) (← links)
- On effective deduction theorems in normal modal logics (Q2751831) (← links)
- (Q2974968) (← links)
- (Q3809769) (← links)
- (Q4503914) (← links)
- FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)