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.

40 questions
Filter by
Sorted by
Tagged with
59 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 ...
17 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)?
34 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 ...
283 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 ...
201 views

What does the category of RDF models look like in Institution Theory? [closed]

This question has been represented on cstheory.stackexchange.com where it is getting answers. The Question in short Here is the question in its pure form. Details of my reasoning can be found below. ...
51 views

109 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 ...
94 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 ...
58 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 ...
144 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.
91 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 ...
259 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 ...
32 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 ...
135 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 ...
126 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 ...
408 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?
127 views

65 views

107 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 ...
323 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 ...
101 views

Proving Gabbay rule for Modal Logic

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 ...
51 views

Explanation of states, worlds and models?

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 ...
My question concerns the exercise on p.77 of Boolos, Logic of Provability: True or false: if $A$ is satisfiable in some finite transitive and irreflexive [FIT] model and contains at most one ...