The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
13 views

How to introduce modal reasoning in knowledge bases (Cyc, ConceptNet, WordNet)?

Is it possible and how to introduce modal reasoning in knowledge bases (Cyc, ConceptNet or WordNet). Especially I am interested in CyC (OpenCyc) - is it possible to introduce modal operators in this ...
1
vote
0answers
51 views

Modal logic axiom S4, transitive and reflexive frame, tableaux solver

I have a difficult problem to solve which as mentioned in the title is related to modal logic axiom S4. So, here is some background knowledge that can be useful: S4 axiom is a class of transitive ...
1
vote
1answer
47 views

complexity of modal logic axioms

I am writing a paper in which I want to include complexity results for different modal logics and possibly add a reference to a specific paper. At the moment I have the following: K- no restrictions ...
1
vote
2answers
166 views

The use of modal logic in computer science [closed]

I have a tentative understanding of modal logic. Can anyone explain modal logic as it is used in computer science?
1
vote
1answer
281 views

Intuitive meaning of modal $\mu$-calculus formula

I am solving one of the past exams and I am not certain with my solution to one of the exercises. The exercise is asking to give intuitive meaning to modal $\mu$-calculus formula: $$ \phi = \mu Z. \...
3
votes
3answers
181 views

Why is GFp -> GFq false in LTL, even though GFp and GFq are false?

Consider the Kripke structure: $$ \begin{array}{ccccccc} \to & (p, \neg q) & \to & (\neg p, \neg q) & \to & (\neg p, q) \\ & \circlearrowright & & \circlearrowright ...