Editing Description logic (section)

===Modal logic===
Description logic is related to—but developed independently of—[[modal logic]] (ML).<ref name="DLHB"/> Many—but not all—DLs are syntactic variants of ML.<ref name="DLHB"/>

In general, an object corresponds to a [[Kripke semantics|possible world]], a concept corresponds to a modal proposition, and a role-bounded quantifier to a modal operator with that role as its accessibility relation.

Operations on roles (such as composition, inversion, etc.) correspond to the modal operations used in [[dynamic logic (modal logic)|dynamic logic]].<ref name=CTTL>{{cite web|last=Schild|first=Klaus|title=Correspondence theory for terminological logics: Preliminary Report|url=http://www.cs.man.ac.uk/~ezolin/dl/bib/Correspondence_theory_for_terminological_logics_%28IJCAI_1991%29.pdf|work=KIT Report 91|publisher=KIT-BACK|access-date=2012-10-25}}</ref>

====Examples====
{| style="width:20%" class="wikitable sortable"
|+ Syntactic variants
|-
! DL
! ML
|-
| <math>\mathcal{ALC}</math>
| '''K'''<ref name="DLHB"/>
|-
| <math>\mathcal{SR}</math>
| '''[[Propositional dynamic logic|PDL]]'''<ref name=CTTL/>
|-
| <math>\mathcal{FSR}</math>
| '''DPDL''' (deterministic PDL)<ref name=CTTL/>
|-
| <math>\mathcal{TSL}\text{, or }\mathcal{SRI}</math>
| Converse-'''[[Propositional dynamic logic|PDL]]'''<ref name=CTTL/>
|-
| <math>\mathcal{FSL}\text{, or }\mathcal{FSRI}</math>
| Converse-'''DPDL''' (deterministic PDL)<ref name=CTTL/>
|}