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):
Displaying 14 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)
- Rules with parameters in modal logic. II. (Q2004954) (← 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)
- (Q4475068) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
