MATH
Login Or Sign up

List Question

15
116
Views

S5 as the adjunction of possibility and necessity

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

Doing an modal logic exercise. The tableau for both the argument and its negation are open. Am I doing something wrong?

Published on
#logic #model-theory #modal-logic
64
Views

Modal logic validity of axiom K - proof

Published on
#logic #modal-logic
90
Views

Which logic is most fundamental?

Published on
#elementary-set-theory #propositional-calculus #first-order-logic #foundations #modal-logic
102
Views

Admissibility of Löb's rule in basic modal logic K

Published on
#logic #modal-logic
49
Views

why this procedure of proof valid?

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

Does Hennessy-Milner Theorem hold when I weaken its condition (image-finite) a little?

Published on
#modal-logic
47
Views

Proving Completeness of Modal Logic (K) with Minimal Assumptions

Published on
#logic #alternative-proof #modal-logic
23
Views

Prerequisites for Cocchiarella modal logic book?

Published on
#set-theory #first-order-logic #modal-logic
87
Views

Is "If ⊨□φ then ⊨φ" true in modal logic?

Published on
#logic #modal-logic
124
Views

Why is it not possible to define the necessity operator internally $\Box: \Omega \to \Omega$ in a topos?

Published on
#logic #category-theory #topos-theory #modal-logic
334
Views

Can linearity be expressed by a modal logic formula?

Published on
#logic #modal-logic
64
Views

Models of H and GL

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

Question on epistemic logic

Published on
#logic #modal-logic
1.3k
Views

Equivalent formulations of the axiom K in modal logic

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.