<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-02-05 09:51:05Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-02-05 09:51:05Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure |
Add to Reading List |
Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1
