MATH
Login Or Sign up

List Question

15
110
Views

Resource suggestion for practicing modal logic and intuitionistic logic

Published on
#logic #book-recommendation #modal-logic #intuitionistic-logic
181
Views

What my did my Set Theory teacher mean when he said that there isn't an axiomatic system based on modal logic that serves as a foundation for math?

Published on
#logic #set-theory #axioms #foundations #modal-logic
172
Views

Why is $\lozenge (p\to p)$ not valid in system $K$ of modal logic?

Published on
#logic #examples-counterexamples #modal-logic #nonclassical-logic #kripke-models
52
Views

Are all simple models from modal logic ($M_1 p \to M_2 p$) canonical?

Published on
#logic #modal-logic
102
Views

What is the "validity logic(s)" of moderate theories?

Published on
#logic #model-theory #proof-theory #modal-logic #reverse-math
118
Views

Definability of transitivity in modal logic

Published on
#logic #modal-logic
101
Views

What is the corresponding categorical notion to a non-functorial modality?

Published on
#logic #category-theory #constructive-mathematics #modal-logic
211
Views

Possible worlds with different formal semantics

Published on
#logic #quantifiers #philosophy #modal-logic #intuitionistic-logic
165
Views

Rooted Models in Modal Logic

Published on
#logic #modal-logic
322
Views

Distribution axiom (K)

Published on
#modal-logic
67
Views

Accessibility relation in non-classical logics: hereditary or not?

Published on
#constructive-mathematics #modal-logic #intuitionistic-logic #kripke-models
335
Views

Compactness theorem in modal logic

Published on
#logic #proof-writing #compactness #fake-proofs #modal-logic
159
Views

Modal Logic Translation to other Logics

Published on
#logic #first-order-logic #predicate-logic #modal-logic
40
Views

Soundness of temporal modal logic rule

Published on
#logic #computer-science #modal-logic #sequent-calculus
66
Views

What kind of Kripke frame validates $(\Diamond p \wedge \Diamond q) \rightarrow \Diamond(p\wedge q)$?

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.