Pages that link to "Item:Q3409447"
From MaRDI portal
The following pages link to Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics (Q3409447):
Displaying 5 items.
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- On admissible rules for the polymodal logic \(\text{S}5_n\text{C}\) (Q2709303) (← links)
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification (Q3520233) (← links)
- (Q4376052) (← links)
- Two decidable classes of formulas of the modal logic S5 (Q5930988) (← links)
