MATH
Login Or Sign up

List Question

15
76
Views

Apparent counterexamples to claims of tautologies in modal logic

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

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

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

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

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

Linear temporal logic question

Published on
#logic #kripke-models
23
Views

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

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

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

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

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

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

Describe the set of Kripke scales

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

False statements in intuitionistic logic

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

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

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

Logical consequence in all structures in Kripke semantics

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

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

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

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

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

Conditions for total orders in temporal logic

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

Persistency on formulas in Kripke models

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

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.