Pages that link to "Item:Q3520233"
From MaRDI portal
The following pages link to Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification (Q3520233):
Displayed 10 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)