Back to Results
First PageMeta Content
Logic / Mathematical logic / Model theory / Ontology / Philosophy / Temporal logic / Non-classical logic / Philosophical logic / Tbox / Abox / Modal logic / Kripke structure


Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1
Add to Reading List

Document Date: 2015-02-05 09:51:05


Open Document

File Size: 171,85 KB

Share Result on Facebook
UPDATE