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
182
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
177
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
53
Views

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

Published on
#logic #modal-logic
103
Views

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

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

Definability of transitivity in modal logic

Published on
#logic #modal-logic
102
Views

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

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

Possible worlds with different formal semantics

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

Rooted Models in Modal Logic

Published on
#logic #modal-logic
334
Views

Distribution axiom (K)

Published on
#modal-logic
70
Views

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

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

Compactness theorem in modal logic

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

Modal Logic Translation to other Logics

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

Soundness of temporal modal logic rule

Published on
#logic #computer-science #modal-logic #sequent-calculus
67
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

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.