# Questions tagged [kripke-models]

This tag is for questions relating to "Kripke’s models" for modal logic (or variants thereof) are the basis for many modern approaches to reasoning about knowledge and belief. For philosophers, by far the most important examples are ‘Kripke models’, which have been adopted as the standard type of models for modal and related non­classical logics.

54 questions
Filter by
Sorted by
Tagged with
47 views

### Rooted Kripke frames connection to $K$

I was reading the Modal logic book from Chagrov and Zakharyaschev. I read the following theorem (generation theorem 3.11): If $N$ is a generated submodel of $M$, then for every point x and every ...
• 644
1 vote
42 views

### For every intuitionistic kripke frame $F = (W, R)$ and every formula $\phi$ and points $x,y \in W$ if $x \models \phi$ and $x R y$ then $y\models\phi$

I need to show that: For every intuitionistic kripke frame $F = (W, R)$ and every formula $\phi$ and every points $x,y \in W$ if $x \models \phi$ and $x R y$ then $y \models \phi$ I know it's done by ...
• 644
54 views

### About interpretation of accessibility relations in Kripke like structure

A Kripke like structure is something like tuple $(S, R, V)$ in which $S$ is a set of states, $R$ is the relationship between states and $V$ is an evaluation function that maps propositions to some ...
• 135
53 views

### Find and prove a necessary and sufficient condition for a Kripke Frame

I am studying Kripke frames in modal logic and I am trying to understand how to solve the task below (the task comes from a workbook and this particular question lacks a conclusion). I know that ...
• 199
160 views

### Why is Normality an axiom in Modal Logic?

Why are we having $\square(A → B) → (\square A → \square B)$ as an axiom when we can prove* that if we have $\square(A → B)$ then we will have $(\square A → \square B)$? *$B$ is true in every world by ...
48 views

### Exact definition of SAT problem in S4 [closed]

I kind of know what SAT problem is and I need the exact formal description of this problem for S4 logic. I am trying to prove this problem is PSPACE-Complete! Any help would be very much appreciated!
99 views

### Why S4 logic should have kripke models with reflexive and transitive relations?

From here and here you can see that in S4 modal logic we should have Kripke models (S,R,V) which have a relationship R on their set of states S so that R is reflexive and transitive on S! I know that ...
76 views

### Necessity and sufficiency on dead end worlds in Kripke's model

Suppose we are evaluating $\square p$, $\diamondsuit$p, $\square\square$p, $\diamondsuit\diamondsuit$p, $\square$$\diamondsuitp, \diamondsuit$$\square$p on a dead end world (the world that can't ...
• 13
75 views

### Semantic explanation for converting intuitionistic logic into classical logic by adding LEM as an axiom

I have a question about converting intuitionistic logic (IL) into classical logic (CL) by adding LEM as an axiom. IL is usually understood as a logic without LEM. $$\textrm{LEM}:=A\vee\neg A.$$ In ...
• 612
1 vote
34 views

### Accessibility relation in non-classical logics: hereditary or not?

Recently, I am reading course materials on intuitionistic and modal logics. I have two questions about the notion of accessibility relation in Kripke semantics for intuitionistic and modal logics. ...
• 612
59 views

### Proofing transitivity of simulation relation in Kripke structures

I would like to proof transitivity of simulation in Kripke Structures. Proof Sketch: Let A, B, C be Kripke Structures, with A=(Sa,S0a,Ra,AP,La) B=(Sb,S0b,Rb,AP,Lb) C=(Sc,S0c,Rc,AP,Lc) H ⊆ S × S′ ...
1 vote
122 views

### Why is $\lozenge (p\to p)$ not valid in system $K$ of modal logic?

Why is $\lozenge (p\to p)$ not valid in system $K$ of modal logic? How could this formula be false in any accessibility relation or setting of values in worlds? Even if it was a dead end world, ...
1 vote
52 views

### Is the statement $(\exists x\psi(x)\rightarrow\forall x\theta(x))\vdash \forall x(\psi(x)\rightarrow\theta(x))$ true in intuitionistic/minimal logic?

I know that this sequent is true for classical logic. But is it true in minimal or intuitionistic logic? What would be a Kripke model that doesn't satisfy the property? I would appreciate some (as ...
• 970
69 views

### How does the problem of quantified modal logic relate to Kripke's model

Throughout multiple papers and reviews, Kripke's models are viewed as a countertheory to the work of Quine on the three grades of modal involvement. I understand how the modal is set up: I consider a ...
• 564
1 vote
73 views

### Is Kripke/relational/possible world semantics the special case of the the set semantics or first order logic?

I am reading https://www.springer.com/gp/book/9783319225562 about expression of modal operators as the predicates in the first order (and possibly higher order) logic. My question is - is the modal ...
• 1,181
82 views

### On provability in modal logic

Consider the classical modal logic $\mathsf K$, given by the following axioms and rules over a language containing the standard propositional connectives and $\Box$: A complete set of axiom schemes ...
• 4,397
39 views

### characterization of non-reflexive Kripke frames

Can the class of non-reflexive (that is not being reflexive of course) be characterized with a set of modal formulae? What about irreflexive (having only non-reflexive points)?
102 views

### Counterexample of Goldblatt-Thomason theorem

The Goldblatt-Thomason theorem states that a class of first-order definable Kripke frames is modally definable if it is closed under disjoint unions, is closed under generated subframes, is closed ...
• 5,978
354 views

### How to prove in K $\vdash_{p \rightarrow \lozenge \square p} (\square p \rightarrow \lozenge p)$?

Let us denote $C$ the modal system obtained by adding the axiom $\alpha \rightarrow \lozenge \square \alpha$ to the axiom $K$ and all the propositional tautologies. As said in the title, I'm looking ...
• 178
114 views

• 2,740
1 vote
167 views

### Proving the Glivenko theorem via Kripke models

We'll prove it in just one direction, since the other one is obvious. So, assume $\psi$ is a theorem of classical propositional logic. Prove that $\lnot \lnot \psi$ is a theorem of intuitionistic ...
• 1,553
121 views

### Proving $\lnot \lnot (\psi \lor \lnot \psi)$ is a theorem of intuitionistic propositional logic

Here, $\psi$ is some arbitrary formula. The proof I've come up with is as follows. Assume $\lnot \lnot (\psi \lor \lnot \psi)$ is not a theorem of IPL, which means there exists some Kripke model ...
• 1,553
68 views

### What is the Upper-Bound for a Kripke Model in Normal Modal Logics?

I am currently looking for a paper for a proof about the upper-bound on the size of a Kripke model in modal logic, no matter the axiom considered. I am considering only the propositional modal logic ...
278 views

### Determine a modal logic formula which a connective that is not valid but is true

I'm trying to understand how a formula can not be valid but also true in the above question.
531 views

### Counter examples in modal logic

As I'm new to modal logic, I wanted to check whether my counter examples for the given formula is right. $$\Box A \rightarrow \Diamond B \Rightarrow \Box(\Box A \rightarrow \Diamond B)$$ First I ...
1 vote
38 views

### How to show that someone beleive someone don't beleive $\phi$ with Kripke models?

I want to model a logic of beliefs with two agents where : $$M,w^*⊨\phi\wedge Ba\phi\wedge Bb\neg\phi\wedge BaBb\neg\phi$$ I think I'm using Kripke semantics. I think that i.e. it describe a world ...
175 views

### Minimal Modal Logic and the Class of all Kripke Models

It's well known that minimal modal logic (i.e. propositional tautologies and axiom $K$ together with modus ponens and necessitation rule) captures the validities of the semantic class of all Kripke ...
• 1,301
1 vote
218 views

### Church-Rosser property and normal modal logic

I am trying to prove soundness and completeness for S4.2 and I am considering Kripke frames which are reflexive, transitive and have the Church-Rosser property. Now, there is one thing that really ...
• 164
639 views

### Modal logic Box and diamond T

I didn't understand what is mean Box T, diamond T in this example: what is mean box True exist in world v?
• 1
168 views

• 205
109 views

### Proove that all finite non-standard Kripke frames are standard

In Harel's book on PDL (Propositional Dynamic Logic) I've learnt that Kripke frames are pairs such as: K = (K; $m_k$) Where $K$ is a set called states and $m_k$ is a meaning function assigning ...
• 728
1 vote
78 views

• 1
1 vote
127 views

### Propositional S5: is there a consistent set requiring continuously many worlds?

A recent question asked whether in systems of modal propositional logic having the "finite model property" there are consistent sets of sentences that were not satisfied by a finite model. @Carl ...
• 1,423
468 views

### Propositional modal logic: infinite models required in systems with finite model property?

A system of propositional modal logic has the "finite model property" if any consistent sentence is satisfiable at a model with finitely many possible worlds. Some systems have this property and ...
• 1,423
1 vote
I'm currently working on exercises of the book "Modal Logic" by A.Chagrov and M.Zakharyaschev (for pleasure, not homework). One exercise asks to prove this version of Gabbay rule (exercise $3.10$): A ...