Questions relating to deductions relating to the expressions "it is necessary that" and "it is possible that"

learn more… | top users | synonyms

0
votes
1answer
22 views

Generated subframe of a frame

Let's define that $F=(W,R) $ is a Kripke frame where $W=\mathbb{Z}$ and $R=\{(u,v)\mid v=u+1 \}$. Then we can have generated subframe $F_{0}=(W_{0},R_{0})$, where $W_{0}=\mathbb{N}$ and $R_{0}=\{ ...
0
votes
1answer
12 views

Find an equivalent standard translation for FO formula

Let $\psi(x):=\forall y\exists z\forall u(\neg R(x,y)\vee (R(y,z)\wedge \neg R(z,u)))$. We must find a equivalent form of $\psi(x)$ such that we can apply standard translation on it and find modal ...
0
votes
1answer
31 views

Proof that standard translation of modal formula is equivalent to the FO formula

For example $\varphi:=\lozenge\lozenge p\rightarrow\lozenge p$ defines transitivity and it has a standard translation $St_{x}(\varphi):=\forall P\forall x(\exists y(R(x,y)\wedge \exists x(R(y,x)\wedge ...
0
votes
2answers
42 views

$IC(U\cap V)$ VS $IC(U)\cap IC(V)$

Let $(X, \tau)$ be a topological space, $U,V\subseteq X$ any subsets of $X$ . Let $I(A)$ denotes a interior of subset $A$ and $C(A)$ denotes closure of subset $A$. It is clear that $IC(U\cap ...
1
vote
2answers
21 views

Does the fact that a modal operator distributive over disjunction imply that a modal operator is distributive over conjunction?

If L is an arbitrary operator on two propositions p and q: Does L(p $\vee$ q) $\Rightarrow$ Lp $\vee$ Lq imply L(p $\land$ q) $\rightarrow$ Lp $\land$ Lq?
0
votes
1answer
20 views

Why is “necessary p” true in a world when there is no world accessible from it?

So my question is situated in modal logic and everything is defined as usual. I'm reading volume 2 of logic, language, and meaning and on page 24 it says: $V_{M,w_3}(\square p)= 1$ So the valuation ...
0
votes
2answers
28 views

Use of □ in Modal Logic, Translated into English

For □, do you read it as “for all states. . .”, that which one, maybe, cannot withdraw from.? Does this, □, not request proving of itself? □P↔¬◇¬P How do you use it in English? If, for all ...
3
votes
1answer
88 views

(Green/blue)-eye logic puzzle. Statement validation

There is a logic puzzle aiming on freeing same-color-eyed people from an island. The thing is that they must be certain of their own eye color so that they can leave. For that reason an external party ...
2
votes
0answers
36 views

Solovay's Arithmetical Completeness Theorem

Solovay's Arithmetical Completeness Theorem affirms that: Let $A$ be a sentence of modal logic. If every realization $A^\phi$ of $A$ is proved by $PA$, then $GL\vdash A$. I am troubled by this ...
0
votes
0answers
32 views

About the disprovability of the Gödel Sentence

In the last exercise of the last chapter Computability and Logic of Boolos et al we are asked to use $GL$'s arithmetical soundness theorem to find a weaker assumption than the $\omega$-consistency of ...
0
votes
1answer
45 views

Is there a kind of modal logic that models boolean satisfiability?

For example, if $p$ is a boolean proposition depending on truth values $q_1, q_2 \dots ,q_n$, can we add a modal operator such that $\diamond p$ holds if and only if there exists some boolean ...
2
votes
1answer
30 views

How to handle degrees (numerical attributes) in logic? How to model “quantitative changes lead to qualitative changes”?

I am using logics (propositional, predicate, modal) to model one domain, but there are variables that have non-boolean domains, these variables are degrees (it is sufficient that they are degrees, ...
0
votes
0answers
41 views

Where is the difference between Circumscription and Description Logic?

I try to understand McCarhy's research on Circumsription in "Circumscription - A Form of Non-Monotonic Reasoning" and stumble a bit. As far as I know, if you google for Cicumscription you also get ...
0
votes
1answer
31 views

Interpretation of relations in varying-domain models of F.O. modal logic

I am studying the book "First Order Modal Logic" By Fitting and Mendelsohn. In their definition of interpretation for varying domain models (def 4.7.3 pg 103), the interpretation of a relation in a ...
0
votes
1answer
34 views

Exact scope of modal logic?

Is modal logic the logic of necessity, possibility, and impossibility alone, or the logic of truth, falsity, necessity, possibility, and impossibility? In other words, is modal logic concerned with ...
3
votes
1answer
48 views

Show that, at each possible world $\Gamma$ of a modal model, $\Gamma \Vdash \square X \equiv \sim \diamondsuit \sim X$

Show that, at each possible world $\Gamma$ of a modal model, $\Gamma \Vdash \square X \equiv \sim \diamondsuit \sim X$. I'm not exactly sure how to proceed here. I know that a modal model ...
0
votes
1answer
53 views

Gödel's Incompleteness theorem in modal logic

I think I once taught that the statement of the Gödel's Incompleteness theorem is equivalent to : $ \diamond \neg \square \square p $, if p is a complex enough system. Is this right?
0
votes
1answer
64 views

How to deal with propositional First-Order-Logic Dynamic Logic formula

Let p be an atomic proposition, let a be an atomic program, and let $π = (K, M)$ be a Kripke frame with $K = \{u, v, w\}$ $Mπ(p) = \{u, v\}$ $Mπ(a) = \{(u, v), (u, w), (v, w), (w, v)\}.$ The ...
1
vote
1answer
80 views

Proving $\Box A \rightarrow \Box\Box A$ from $KG_r$

I'm trying to prove $\Box A\rightarrow \Box\Box A$ from $KG_r$ where $G_r$ is the axiom $$\Box[ \Box A \rightarrow A ] \rightarrow \Box A$$ I'm given the hint that $$ A \rightarrow ((\Box\Box ...
1
vote
2answers
65 views

dynamic logic: how to understand the truth value?

how to understand the truth value of a dynamic logic formula? for example: $S = \{u_1,u_2,u_3,u_4\}$ is the set of four states $R(a) = \{(u_1,u_1), (u_2,u_1), (u_4,u_1)\}$ is after action a, like ...
0
votes
0answers
38 views

Show that the canonical modal for the modal logic s4.3 has no branching to the right

$$ S4.3 = S4 + \Box(\Box p \to q) \lor \Box(\Box q \to p) $$ We may use that the canonical modal of S4.3 is reflexive and transitive. A reflexive frame has no branching to the right if $$ \forall x ...
0
votes
2answers
45 views

Proving completeness of modal systems

In reading through Chellas' Modal Logic I'm trying to understand his proof of completeness. Here is my best outline of his proof: If $\Sigma$ is any normal system of modal logic then it has a proper ...
0
votes
1answer
29 views

Canonical models for systems

I've been struggling with understanding canonical models for systems. I'll state my question here, but at the end I define some terms in case they're not uniformly defined in Logic. My text claims ...
1
vote
2answers
70 views

Validity of $ F \supset \Box F$

I started to study propositional modal logic and Kripke semantics. I learned that for any Kripke interpration $\mathcal{M}$, we have that, if $\mathcal{M} \models A$ then $\mathcal{M} \models \Box A$. ...
0
votes
1answer
27 views

Nested Sets of Points

This question is inspired by modal logic, but reduces to a basic set theory problem. David Lewis in Counterfactuals claims that the answer to my question is "easily verified" but I can't figure it ...
1
vote
2answers
19 views

Finding a condition on models that validate theorems

I want to find a condition on standard models for which $\Diamond A \rightarrow \Box A$ is a theorem. I can see that the condition $\forall w_1,w_2,w_3\in W$ if $w_1Rw_2$ and $w_1Rw_3$ then ...
1
vote
1answer
18 views

Replacing equivalent formulas and Rule N in epistemic logic

I am studying Epistemic Logic on my own from different books and articles. I have some knowledge of Modal Logic. In one of the basic steps in epistemic logic, I am having some difficulties. Please ...
0
votes
1answer
38 views

Validity at state w

Book called 'Modal Logic' has an definition for validity in page 125. It says in the first part: "A formula $\phi$ is valid at a state w in a frame F if $\phi$ is true at w in every model (F,V) ...
1
vote
1answer
36 views

Modal logic of contingency and necessity operators?

Well let me say that this is a challenging question, I am stuck in it myself :( I am fully aware of modal systems for necessity, i.e. being true in every accessible possible world, and possibility; ...
0
votes
1answer
43 views

Proof set of a sentence (error in textbook?)

I'm reading the Chellas book on Modal Logic and in one place he defines the proof set of a sentence relative to a system $\Sigma$, denoted $|A|_\Sigma$ to be the set of a $\Sigma$-maximal sets of ...
0
votes
1answer
75 views

Is intuitionistic logic translatable into modal logic S3?

I'm familiar with the translation of intuitionistic propositional logic into modal logic S4, summarized here and I've looked at one of the original sources for this: J. C. C. McKinsey and Alfred ...
0
votes
0answers
18 views

Fixed Point equivalence proof

Given two finite-state LTSs $L$ and $M$ (where $M$ is a "specific" subgraph of $L$) and the Hennessy-Milner-Logic monotone interpretation function $\Theta_F(S)$, where $F$ is the HML formula and $S$ ...
2
votes
1answer
85 views

$S5$ proof of $\diamond \square p\to \square p$

I am trying to solve exercises from the book Modal Logic by Patrick Blackburn, Maarten de Rijke and Yde Venema. I am having a problem to solve one of the exercises in the section 1.6, it is the last ...
0
votes
1answer
110 views

Modal Logic backward looking modality

For an exercise in Modal Logic I have to solve the next problem, can someone please help? Use generated submodels to show that the backward looking modality (that is, P of the basic temporal ...
0
votes
2answers
44 views

Frames characterised by the formula $ p \to \square_2 \diamond_1 p$

I am trying to solve exercises from the book Modal Logic by Patrick Blackburn, Maarten de Rijke and Yde Venema. I am having a problem to solve one of the exercises in the section 3.1, the exercise is ...
0
votes
1answer
40 views

What kind of proof system have Zalta used in “Basic Concepts in Modal Logic”?

I have read that text and I'm so interested in the proof theoretic style (as also claimed by Zalta that it is used in modern approaches to modal logic) in it: That is both more mathematically rigorous ...
3
votes
1answer
77 views

How - in a Kripke model - to define a world by modal formulas true only at them?

I'm currently using van Benthem's "Modal logic for open minds", ed. 2010. In page 16 (and later in exercises), he considers a model whose relations are shown by directed graphs (the so called process ...
2
votes
0answers
44 views

What the definition of validity of a formule in a possible Kripke-world in Modal Logic?

Basic question here but I cannot find the definition: Given a modal logic and a set of propositions $P$, a model $M=(W,R,V)$ where $W$ are possible worlds, $R$ an accesibility relation and $V$ a ...
1
vote
1answer
45 views

Express $V(\diamond \alpha)$ set theoretically in terms of $V(\alpha)$

I am reading Modal Logic. While going through the basics of the subject I am having problem in a place. Please help me. Say we are dealing with a frame $(W,R)$ and defined a model $M$ using a ...
0
votes
1answer
52 views

Properties of transitive modal frames

I am working through Fitting and Mendelsohn's First Order Modal Logic and have come across the following exercise: Prove that a frame $\langle \mathcal{G}, \mathcal{R} \rangle$ is transitive if ...
3
votes
0answers
49 views

Model-theoretic characterization of local modal correspondence

I've been reading van Benthem's dissertation (available on ILLC's website) on modal correspondence theory. In Section I.3, he develops a model-theoretic characterization of modal formulas having ...
2
votes
4answers
183 views

Examples of logical possibility

According to Wikipedia, something is logically possible if it doesn't imply a contradiction. In that case, how could a mathematical statement be false but possible? Wouldn't a false statement be false ...
3
votes
3answers
83 views

Is $\Diamond (p \rightarrow q) \rightarrow (\Diamond p \rightarrow \Diamond q)$ valid in K?

The modal logic K is the weakest normal modal system, comprised by classic logic augmented by (K), the necessity distribution axiom schema: $$\Box (\alpha \rightarrow \beta) \rightarrow (\Box \alpha ...
4
votes
1answer
102 views

How can temporal and epistemic logic be combined?

Recently I read all kinds of work from logic scientist in which epistemic logic was the main topic. Where epistmic change refers to change in knowledge of some agent in a multi-agent system (in a ...
2
votes
1answer
84 views

Modal Logic: ◊-Distribution

It's a theorem of K that $\diamond$ distributes to disjuncts and vice versa: $$\diamond(p \lor q) ≡ \diamond p \lor \diamond q$$ Does it distribute to negated disjuncts? Is the following a licit ...
1
vote
0answers
70 views

What is the connection between game theory and (modal) logic?

I'm interested in dynamic epistemic logic lately (reasoning about information and change in multi-agent systems). I also like game theory. I'm looking for some good resources about the connection ...
5
votes
2answers
179 views

What is the difference between intuitionistic, classical, modal and linear logic?

I am currently going through Philip Walder's "Proposition as Types" and a passage of the introduction has struck me: Propositions as Types is a notion with breadth. It applies to a range of ...
1
vote
1answer
38 views

Problems with basic proof in modal logic (event based)

I am having trouble deriving the following basic result: $\ast$) For every $\omega \in \Omega, \omega \in P (\omega),$ from the following axioms: A1) $K (\Omega) = \Omega$, A2) $K (A) \cap K (B) ...
3
votes
2answers
178 views

Is there a more useful formulation of the frame condition for the McKinsey axiom?

I am looking for a Kripke frame condition corresponding to the McKinsey axiom M: $\Box\Diamond p \rightarrow \Diamond\Box p$. I read somewhere the following condition: "For every partitioning of the ...
1
vote
2answers
158 views

Deduction theorem in modal logic

I am looking for a semantic for deduction theorem in modal logic,I wanna find a semantic way to prove this theorem,but I wasn't successful.tnx for your help