Possible Hyperworlds: representing Kripke models in RDF
Modal logic extends propositional logic by adding modal operators, and enables us to reason with conceptssuch as necessity, possibility, knowledge, belief, obligation, or conseq...
Publications
View AllAffiliated Researchers
Institution Info
- Type
- facility
- Country
- FR
- Publications
- 1
- Citations
- 0
External Links
Identifiers
- ROR
- https://ror.org/00t3fpp34