Pages that link to "Item:Q2996164"
From MaRDI portal
The following pages link to Unification in a Description Logic with Transitive Closure of Roles (Q2996164):
Displaying 19 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- On simplification of schema mappings (Q389226) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Language equations with complementation: decision problems (Q880178) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Language equations (Q2074222) (← links)
- Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- Computing by commuting. (Q2490820) (← links)
- Decidability of trajectory-based equations (Q2575751) (← links)
- Regular solutions of language inequalities and well quasi-orders (Q2581271) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← 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 of concept terms in description logics (Q5929707) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Multi-agent temporal logics, information, unification, and projectivity (Q6539755) (← links)