MATH
Login Or Sign up

List Question

15
77
Views

Apparent counterexamples to claims of tautologies in modal logic

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

Constructing a Kripke model where $p \rightarrow \Box \Diamond q$ is false.

Published on
#discrete-mathematics #logic #propositional-calculus #modal-logic #kripke-models
91
Views

Is there a simpler Kripke counter-model for this formula?

Published on
#logic #predicate-logic #intuitionistic-logic #kripke-models
122
Views

Linear temporal logic question

Published on
#logic #kripke-models
24
Views

Related work for a 'compatibility' modality in modal logic meaning ◊(∧′)

Published on
#reference-request #modal-logic #kripke-models
76
Views

Intuitionistic proof of $((p\rightarrow q)\rightarrow p)\rightarrow\neg \neg p$

Published on
#natural-deduction #intuitionistic-logic #kripke-models #heyting-algebra
90
Views

How to prove that a formula is intuitionistically valid using Kripke semantics?

Published on
#natural-deduction #constructive-mathematics #intuitionistic-logic #kripke-models
124
Views

Describe the set of Kripke scales

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

False statements in intuitionistic logic

Published on
#propositional-calculus #constructive-mathematics #intuitionistic-logic #kripke-models
428
Views

what does the "fixed point" in fixpoint algorithms refer to?

Published on
#model-theory #kripke-models
582
Views

Logical consequence in all structures in Kripke semantics

Published on
#logic #definition #modal-logic #nonclassical-logic #kripke-models
789
Views

Euclidean relations and $\diamond P\rightarrow\square\diamond P$

Published on
#modal-logic #nonclassical-logic #kripke-models
410
Views

Symmetric relations and $\varphi\rightarrow\square\diamond\varphi$

Published on
#modal-logic #nonclassical-logic #kripke-models
153
Views

Conditions for total orders in temporal logic

Published on
#modal-logic #nonclassical-logic #kripke-models
100
Views

Persistency on formulas in Kripke models

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.