MATH
Login Or Sign up

List Question

15
323
Views

Why is the Fixed-Point Axiom true?

Published on
#logic #axioms #modal-logic
116
Views

Deriving a Statement in S4 Variation

Published on
#logic #modal-logic
65
Views

Why does the lack of a rule of necessitation mean that a logic is not algebraizable?

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

Proving a theorem in an extension of S$_4$

Published on
#logic #modal-logic
161
Views

Properties of maximal $AX$-consistent sets in Epistemic Logic

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

Show $\vdash_{KL} \Box p\to \Box \Box p$?

Published on
#logic #modal-logic
87
Views

Inductive Proof of $(M^c,s_V)\vDash\varphi$ iff $\varphi\in V$ (Modal Case)

Published on
#logic #proof-explanation #modal-logic
82
Views

Axiom $5$ corresponds to a Euclidean possibility relation (Epistemic Logic)

Published on
#logic #modal-logic
28
Views

Proving validity of $D_G\varphi \to D_{G'}\varphi$ if $G\subseteq G'$

Published on
#logic #modal-logic
138
Views

How to show $\vdash_{\mathbf{S5}} \Diamond \Box p\to \Box p$?

Published on
#logic #modal-logic
57
Views

Proof: K$_n^D$ is a sound and complete axiomatization with respect to $\mathcal{M}_n$

Published on
#logic #modal-logic
70
Views

necessitism and logical truth

Published on
#logic #modal-logic
57
Views

Modal Heyting Algebras

Published on
#reference-request #modal-logic #intuitionistic-logic #heyting-algebra
1.4k
Views

What does "/" (forward slash) mean in this context?

Published on
#logic #notation #modal-logic
543
Views

Is modal logic S4 translatable into intuitionistic logic? If not, what modal system is?

Published on
#logic #propositional-calculus #constructive-mathematics #modal-logic #intuitionistic-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.