The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
14 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 ...
2
votes
0answers
57 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
48 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
174 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
284 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 ...