MATH
Login Or Sign up

List Question

15
557
Views

Is there a modal operator which distributes over the implication?

Published on
#logic #modal-logic
760
Views

Help with a modal Hilbert-style proof of (□(a>b)&◊(a&c))>◊(b&c)

Published on
#logic #modal-logic
140
Views

What does this negation on both sides of K mean: A = ¬ K ¬

Published on
#logic #modal-logic
2.1k
Views

Blue-Eyed Islanders Problem: why must 'someone has blue eyes' be Common Knowledge, for all the blue-eyed people to leave?

Published on
#logic #recreational-mathematics #puzzle #modal-logic
3.9k
Views

Big Bang Theory Reference to Formal Logic

Published on
#logic #modal-logic
134
Views

In modal logic, why are models ordered sets?

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

¬p ⊬ ⎕(p → q): Where's the mistake in my proof?

Published on
#logic #proof-verification #propositional-calculus #modal-logic
130
Views

Is there a Fitch style system that works with some of the modal logics?

Published on
#logic #proof-writing #modal-logic
91
Views

A good (and possibly seminal) book on Multimodal Logic?

Published on
#reference-request #modal-logic
89
Views

Why do you only need to show validity in one world when using trees in institutionist/constructivist logic?

Published on
#logic #propositional-calculus #modal-logic #constructive-mathematics
100
Views

Truth Conditions for Modal Logic

Published on
#modal-logic
162
Views

Proof of $p\rightarrow (\Box (\Box p \wedge p) \rightarrow (\Box p \wedge p))$

Published on
#logic #modal-logic #formal-proofs
523
Views

Theorems of GL in modal logic

Published on
#logic #arithmetic #modal-logic #provability
295
Views

Strong Kleene interpretation

Published on
#logic #first-order-logic #modal-logic
83
Views

Problems with validity in type theory

Published on
#logic #first-order-logic #type-theory #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.