MATH
Login Or Sign up

List Question

15
547
Views

Proof of $\triangledown(\top,\top)$ in modal logic

Published on
#logic #modal-logic
164
Views

generating complete consistent theories

Published on
#logic #model-theory #modal-logic
1.2k
Views

The "set of all possible worlds", etc.

Published on
#logic #modal-logic
699
Views

Proof that Scheme T implies reflexivity

Published on
#modal-logic
153
Views

Analog of modus ponens for semantics

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

Modal logics and logics with integer or even rational numbers - is that possible?

Published on
#logic #computer-science #integer-programming #modal-logic
52
Views

Explanation of states, worlds and models?

Published on
#modal-logic #kripke-models
4.4k
Views

Books about modal logic?

Published on
#reference-request #book-recommendation #philosophy #modal-logic
117
Views

Weak classical Deontic Logics

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

What is the modal interpretation of the converse to a statement?

Published on
#logic #modal-logic
92
Views

exchange “globally” and “future” in temporal logic

Published on
#logic #modal-logic
758
Views

What is the definition of algebraic equivalence of formulas?

Published on
#logic #modal-logic
21.6k
Views

100 blue-eyed islanders puzzle: 3 questions

Published on
#recreational-mathematics #puzzle #modal-logic
157
Views

Equivalence between temporal logic and notions of forcing

Published on
#logic #forcing #modal-logic
105
Views

Does the dynamic logic page at wikipedia have some mistakes?

Published on
#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.