The following pages link to Holger Sturm (Q190269):
Displaying 17 items.
- Common knowledge and quantification (Q1349272) (← links)
- Modal Horn classes (Q1577357) (← links)
- A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains (Q1863829) (← links)
- Elementary classes in basic modal logic (Q1975162) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- (Q4532129) (← links)
- (Q4533343) (← links)
- (Q4536315) (← links)
- (Q4536335) (← links)
- (Q4539602) (← links)
- (Q4628468) (← links)
- (Q4663857) (← links)
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Q4779588) (← links)
- The true bisimulations for 'since' and 'until' (Q4803964) (← links)
- Logics of metric spaces (Q5267430) (← links)
- Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
