Pages that link to "Item:Q4868227"
From MaRDI portal
The following pages link to A multi-dimensional terminological knowledge representation language (Q4868227):
Displaying 10 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- (Q4395024) (← links)
- On axiomatising products of Kripke frames (Q4508270) (← links)
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages (Q4870066) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)