Pages that link to "Item:Q4779588"
From MaRDI portal
The following pages link to A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Q4779588):
Displaying 3 items.
- A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains (Q1863829) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains (Q4982117) (← links)