Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [modal-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
0 answers
123 views

Accessible Reference for Guarded Recursion

I am looking for an accessible reference that explains the concept of guarded recursion. Some things I have in mind are: How is guarded recursion defined syntactically? Why do the greatest- and least-...
Agnishom Chattopadhyay's user avatar
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 ...
Marina's user avatar
  • 123
2 votes
1 answer
252 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$ ...
wanderingmathematician's user avatar
7 votes
1 answer
222 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 (...
WorldSEnder's user avatar
0 votes
1 answer
108 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 ...
Speakpigeon's user avatar
4 votes
2 answers
689 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 ...
Henry Story's user avatar
6 votes
2 answers
156 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 ...
Y.Z.'s user avatar
  • 243
8 votes
1 answer
499 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 ...
Bartosz Bednarczyk's user avatar
5 votes
1 answer
537 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 ...
np20's user avatar
  • 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 ...
TomR's user avatar
  • 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 "...
user avatar
6 votes
0 answers
302 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 ...
J Marcos's user avatar
  • 161
3 votes
1 answer
348 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 ...
hcp's user avatar
  • 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 ...
TomR's user avatar
  • 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 ...
TomR's user avatar
  • 409
2 votes
1 answer
245 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 ...
Mythio's user avatar
  • 129
11 votes
2 answers
385 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 ...
Bjoern Lellmann's user avatar
15 votes
1 answer
383 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 ...
Rob's user avatar
  • 815