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...
Modal logic extends propositional logic by adding modal operators, and enables us to reason with conceptssuch as necessity, possibility, knowledge, belief, obligation, or conseq...
h-index: Number of publications with at least h citations each.