MATH
Login Or Sign up

List Question

15
87
Views

Equivalence between classical modal logic and propositional logic

Published on
#modal-logic
87
Views

Is the distribution axiom in the modal system K an equivalence?

Published on
#logic #modal-logic #provability
55
Views

Finite Model Property of Epistemic Logics

Published on
#logic #modal-logic #decidability
621
Views

Propositional modal logic: infinite models required in systems with finite model property?

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

Propositional S5: is there a consistent set requiring continuously many worlds?

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

Book on the first-order modal logic

Published on
#reference-request #first-order-logic #modal-logic
226
Views

Decidability of normal modal logics

Published on
#computational-complexity #modal-logic
52
Views

Problems with the usage of Belief and Common Belief operators

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

Universe enlargement and modal logic

Published on
#reference-request #foundations #modal-logic
44
Views

Can it be the case $p$,$\lnot p$ are true at $\mathbf w$ And $\mathbf w'$ respectively with $\mathbf w$ and $\mathbf w'$ have access to each other?

Published on
#modal-logic
1.9k
Views

Prove that modal logic S4 is properly contained in S5

Published on
#logic #modal-logic
170
Views

The Entscheidungsproblem (decision problem) for modal logic

Published on
#logic #first-order-logic #modal-logic
833
Views

Modal set-theory

Published on
#reference-request #logic #set-theory #modal-logic
1.1k
Views

Why is $\square\square=\square$ and $\Diamond\Diamond=\Diamond$ in the S5 modal logic?

Published on
#logic #modal-logic
59
Views

Definition in satisfiability problem

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.