Pages that link to "Item:Q757339"
From MaRDI portal
The following pages link to Undecidable properties of extensions of the logic of provability (Q757339):
Displaying 22 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable (Q1128179) (← links)
- Undecidability results on two-variable logics (Q1306795) (← links)
- Undecidability of existential properties in picture languages (Q1575948) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Undefinability in inquisitive logic with tensor (Q2291224) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Recursive unsolvability of a problem of expressibility in the logic of provability (Q2914598) (← links)
- A Universally Defined Undecidable Unimodal Logic (Q3088054) (← links)
- (Q3177929) (← links)
- Untestable Properties Expressible with Four First-Order Quantifiers (Q3564875) (← links)
- Undecidable hypotheses in Edward Nelson's internal set theory (Q4005527) (← links)
- Strongly decidable properties of modal and intuitionistic calculi (Q4521286) (← links)
- (Q4789155) (← links)
- Undecidability of the Logic of Partial Quasiary Predicates (Q5092565) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- Computer Science Logic (Q5311278) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
