MATH
Login Or Sign up

List Question

15
461
Views

$S5$ proof of $\diamond \square p\to \square p$

Published on
#logic #modal-logic
270
Views

Is intuitionistic logic translatable into modal logic S3?

Published on
#modal-logic #intuitionistic-logic
62
Views

Proof set of a sentence (error in textbook?)

Published on
#logic #modal-logic
390
Views

Modal logic of contingency and necessity operators?

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

Validity at state w

Published on
#modal-logic
50
Views

Replacing equivalent formulas and Rule N in epistemic logic

Published on
#logic #modal-logic
37
Views

Finding a condition on models that validate theorems

Published on
#modal-logic
44
Views

Nested Sets of Points

Published on
#elementary-set-theory #modal-logic
181
Views

Validity of $ F \supset \Box F$

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

Canonical models for systems

Published on
#logic #modal-logic
872
Views

Proving completeness of modal systems

Published on
#logic #modal-logic
740
Views

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

Published on
#logic #modal-logic
115
Views

dynamic logic: how to understand the truth value?

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

Proving $\Box A \rightarrow \Box\Box A$ from $KG_r$

Published on
#logic #modal-logic
110
Views

How to deal with propositional First-Order-Logic Dynamic Logic formula

Published on
#discrete-mathematics #logic #first-order-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.