MATH
Login Or Sign up

List Question

15
269
Views

Generated subframe of a frame

Published on
#logic #modal-logic
2.7k
Views

Gödel's ontological proof and "modal collapses"

Published on
#logic #soft-question #model-theory #modal-logic
39
Views

Modal extensions (operators) for monoidal (categorical) logics

Published on
#logic #category-theory #computer-science #modal-logic
254
Views

Consistency Lemma in Lindenbaum's Theorem

Published on
#logic #propositional-calculus #predicate-logic #first-order-logic #modal-logic
112
Views

modal logic - examples for it may be supposed that/it is compulsory that

Published on
#modal-logic
913
Views

The positive introspection axiom

Published on
#logic #propositional-calculus #philosophy #modal-logic
155
Views

Categorical semantics for dynamic epistemic logic

Published on
#logic #category-theory #modal-logic
205
Views

On the truth of $GLS$ and Löb's theorem

Published on
#logic #peano-axioms #modal-logic #provability
381
Views

How should I prove $\Box (\Box p \rightarrow q) \vee \Box (\Box q \rightarrow \Box p)$ using KT45.

Published on
#logic #modal-logic
140
Views

Is it interesting to consider satisfiability modulo theory in the context of modal logic?

Published on
#logic #modal-logic
87
Views

The diagrams of the following unary operators of temporal logic

Published on
#logic #modal-logic
3.7k
Views

Understanding the modal necessitation rule

Published on
#logic #modal-logic
437
Views

Name of “inverse distribution” axiom?

Published on
#abstract-algebra #functions #logic #modal-logic
3.4k
Views

What's the point of modal logic?

Published on
#logic #modal-logic
133
Views

Question concerning satisfiability in a certain Kripke model

Published on
#logic #relations #modal-logic #provability #kripke-models

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.