Questions tagged [modal-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers

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 ...
Marina's user avatar
  • 123
2 votes
1 answer

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$ ...
wanderingmathematician's user avatar
7 votes
1 answer

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 (...
WorldSEnder's user avatar
0 votes
1 answer

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 ...
Speakpigeon's user avatar
4 votes
2 answers

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 ...
Henry Story's user avatar
6 votes
2 answers

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 ...
discretizer's user avatar
8 votes
1 answer

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 ...
Bartosz Bednarczyk's user avatar
5 votes
1 answer

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 ...
np20's user avatar
  • 153
1 vote
1 answer

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 ...
TomR's user avatar
  • 409
5 votes
0 answers

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 "...
user avatar
6 votes
0 answers

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 ...
J Marcos's user avatar
  • 161
3 votes
1 answer

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 ...
hcp's user avatar
  • 191
2 votes
0 answers

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 ...
TomR's user avatar
  • 409
1 vote
1 answer

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 ...
TomR's user avatar
  • 409
2 votes
1 answer

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 ...
Mythio's user avatar
  • 129
11 votes
2 answers

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 ...
Bjoern Lellmann's user avatar
15 votes
1 answer

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 ...
Rob's user avatar
  • 815