MATH
Login Or Sign up

List Question

15
280
Views

Show that the canonical modal for the modal logic K4.3 has no branching to the right

Published on
#logic #modal-logic
118
Views

Ontological argument and naive set theory

Published on
#elementary-set-theory #logic #quantifiers #modal-logic #logic-translation
266
Views

Find and prove a necessary and sufficient condition for a Kripke Frame

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

Satisfiable or valid formulae

Published on
#modal-logic
38
Views

Why express different modal logics in set theoretic terms?

Published on
#logic #modal-logic
86
Views

What kind of modal logics do you get if you replace the semantics of negation with Routley negation?

Published on
#logic #modal-logic
205
Views

By convention, what are the tautologies and the consequence relation of modal logics?

Published on
#logic #modal-logic
101
Views

Express exponential reachability in graphs

Published on
#logic #graph-theory #first-order-logic #modal-logic
57
Views

How to prove $(\Box (p\supset q)\land\Box( q\supset r))\supset\Box(p\supset r)$ in K

Published on
#logic #modal-logic
119
Views

Prove $(\Box(p\supset q)\land\Diamond(p\land r))\supset\Diamond(q\land r)$ in K

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

Prove or disprove statement for the smallest normal modal logic

Published on
#logic #modal-logic
94
Views

Show $K_\rho$ is a proper extension of $K_\eta$

Published on
#modal-logic
46
Views

For every intuitionistic kripke frame $F = (W, R)$ and every formula $\phi$ and points $x,y \in W$ if $x \models \phi$ and $x R y$ then $y\models\phi$

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

Rooted Kripke frames connection to $K$

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

Is $\forall x \square \varphi \leftrightarrow \square \forall x \varphi$ a valid formula for all formulas $\varphi$?

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.