MATH
Login Or Sign up

List Question

15
733
Views

Counter examples in modal logic

Published on
#logic #examples-counterexamples #modal-logic #kripke-models
416
Views

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

Published on
#logic #modal-logic #kripke-models
92
Views

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

Published on
#logic #reference-request #upper-lower-bounds #modal-logic #kripke-models
161
Views

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

Published on
#proof-verification #logic #intuitionistic-logic #kripke-models
287
Views

Proving the Glivenko theorem via Kripke models

Published on
#proof-verification #logic #intuitionistic-logic #kripke-models
155
Views

Understanding The First Axiom Of Gödel's Ontological Proof

Published on
#logic #modal-logic #higher-order-logic #kripke-models
176
Views

$\mathcal{M} \models \Box \phi \rightarrow \Box \Box \phi$ for all $\phi$ if and only if $\mathcal{M}$ is transitive

Published on
#logic #modal-logic #kripke-models
389
Views

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

Published on
#logic #modal-logic #kripke-models
207
Views

Counterexample of Goldblatt-Thomason theorem

Published on
#modal-logic #kripke-models
74
Views

characterization of non-reflexive Kripke frames

Published on
#modal-logic #kripke-models
109
Views

On provability in modal logic

Published on
#logic #modal-logic #kripke-models
628
Views

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

Published on
#logic #model-theory #modal-logic #kripke-models
169
Views

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

Published on
#logic #model-theory #modal-logic #kripke-models
200
Views

The definition of interpretation in a Kripke model collides with my intuition of what it should do

Published on
#logic #model-theory #kripke-models
207
Views

Proving the non-derivability of formula using the of the kripke model

Published on
#logic #constructive-mathematics #kripke-models

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.