Questions tagged [modal-logic]
The modal-logic tag has no usage guidance.
17
questions
0
votes
0
answers
123
views
Need advice about venue for publication
I have a new article where I propose a logical theory of machine learning (instead of statistical one). In particular, I propose a modal logic to express loss criteria, and show that large number of ...
- 123
2
votes
1
answer
239
views
Is modal $\mu$-calculus "equivalent" to bisimulation?
I know that propositional modal $\mu$-calculus $L\mu$ is bisimulation-invariant. However, I'm curious to what degree it captures bisimulation.
Q1: Given two labeled transition systems $T_1$, $T_2$ ...
7
votes
1
answer
202
views
Obtaining the Axiom of Choice through a modality in HTT
In (constructive) homotopy type theory, the law of excluded middle is not derivable. Moreover, assuming parametricity it is refutable.
But, one can work inside the double negation modality to obtain (...
- 173
0
votes
1
answer
107
views
Validity of a modal argument about "vagueness"
(2nd version to make explicit my implicit assumptions about A, B and C, and the definitions of the non-logical constants "⊂" and "≡".)
Intuitively, the following modal argument ...
- 117
4
votes
2
answers
672
views
What does the category of RDF models look like in Institution Theory?
The Question in short
Here is the question in its pure form. Details of my reasoning can be found below.
The RDF1.1 spec semantics defines a model to consist of a set IR of objects and IP of ...
- 575
6
votes
2
answers
152
views
Multimodal logic with quantification over modal operators
I take a multimodal logic to be a logic with multiple (potentially infinitely many) primitive modal operators. I am curious if anyone has studied a logic that allows one to quantify over the modal ...
- 243
8
votes
1
answer
491
views
Complexity of modal logic IK5
What is the complexity of local satisfiability problem for modal logic $\mathit{IK5}$? Herein we denote by $IK5$ the modal logic over euclidean frames extended with inverse modality. Could you provide ...
- 1,340
5
votes
1
answer
524
views
Proof that the theory of rationals is convex
In Example 10.12 of the book The calculus of computation by Bradley and Manna, it is said
The theory of rationals is convex, as it is convex in a geometric sense.
How does the geometric sense of ...
- 153
1
vote
1
answer
97
views
How to model degree variable in logic (new type of modal logic?)?
I am trying to model domain in logic (first order logic or some of modal logics) and I have variable which is degree and not true-false variable. There can be different conclusions depending on the ...
- 409
5
votes
0
answers
194
views
Are there any logics to formalize understanding?
Are there any logics (modal-based or others) to formalize the following statement:
"agent A understands p". For example "agent A understands that Titanic sank
because it hit an iceberg"
Where "...
user30441
6
votes
0
answers
301
views
Is there a name for this property of a binary relation?
Consider a binary relation $\mathsf{R}$ such that $x\mathsf{R}y$ is the case only if there is some $z$ such that both $x\mathsf{R}z$ and $y\mathsf{R}z$ are the case.
(EDIT: note that this may be ...
- 161
3
votes
1
answer
332
views
What is the descriptive complexity of the basic modal logic?
This is kind of multiple questions in one. Let's consider $\phi$ a formula in the basic modal language (that is, in propositional language based on a set of propositional variables $\Phi$, plus one of ...
- 191
2
votes
0
answers
79
views
Regaining decidability by adding axioms that model real world situation
It is known that first order logic is too general to be decidable. Adding axioms with special meaning (e.g. expressing notions such as necessity/obligation, provability, etc.) leads us to modal logics ...
- 409
1
vote
1
answer
124
views
Is there good open source project that apply semantic web, modal logics, and similar technologies
Recently such themes as semantic web, modal logics, business rules have seen increased interest as research topics in computer science (alhough many of then have more than 80 years of history), but ...
- 409
2
votes
1
answer
236
views
Explanation of states, models and worlds in Kripke semantics?
Can someone explain to me how the concepts of states, models and worlds work together in Kripke semantics?
I've been trying to piece together how the parts work are linked together but cannot figure ...
- 129
11
votes
2
answers
384
views
Modal logics axiomatised with nesting depth one which are unlikely to be in PSPACE?
I am looking for modal logics, which are axiomatised by a finite set of axioms of modal nesting depth one, and whose satisfiability / derivability problem is unlikely to be in PSPACE. Without the ...
- 119
15
votes
1
answer
381
views
Looking for papers and articles on the Tarskian Möglichkeit
Some background: Łukasiewicz many-valued logics were intended as modal logics, and Łukasiewicz gave an extensional definition of the modal operator:
$\Diamond A =_{def} \neg A \to A$ (which he ...
- 815