MATH
Login Or Sign up

List Question

15
443
Views

What is the difference between First-Order Structures and Kripke Structures?

Published on
#model-theory #modal-logic #kripke-models
1.1k
Views

Modal Logic: Proof that a Maximally Consistent Set is Complete

Published on
#modal-logic
204
Views

How do I read modal logic's countermodels?

Published on
#logic #modal-logic
820
Views

What is meant by 'weak' logic?

Published on
#logic #solution-verification #modal-logic
126
Views

Resources on finite Temporal Logic

Published on
#logic #reference-request #modal-logic
83
Views

What is required to believe one is not a Situationist?

Published on
#modal-logic
405
Views

(Modal Logic) Show that a binary relation is Euclidean if and only if it is transitive and symmetric.

Published on
#logic #modal-logic
84
Views

Confusion with Brouwer's Counterexample for Points on a Continuum Being Ordered

Published on
#real-analysis #logic #modal-logic #intuitionistic-logic
57
Views

Difference between $\text{L}(p\supset q)$ and $p\supset \text{L}q$

Published on
#logic #propositional-calculus #modal-logic
91
Views

Working in modal logic, if $W=\{w\}$ for a model $M=(W, R, V)$, do we have that $wRw$?

Published on
#discrete-mathematics #logic #modal-logic
51
Views

Epistemic sentence "Agent A knows that he doesn't know the answer, but Agent A knows that Agent B also doesn't know the answer"

Published on
#logic #modal-logic
154
Views

Proving a theorem in GL modal logic

Published on
#logic #incompleteness #modal-logic
35
Views

How to evaluate the formula $\lnot(A\land B) \lor \lozenge A$ to true in modal logic?

Published on
#examples-counterexamples #modal-logic
53
Views

Does Hilbert's $\varepsilon$-calculus have any real problem when using for incomplete systems?

Published on
#set-theory #logic #modal-logic
267
Views

How to prove □(∀x□φ → □φ) → (◇∀x□φ → ◇□φ) in s5?

Published on
#logic #modal-logic

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.