MATH
Login Or Sign up

List Question

15
96
Views

$\vdash\phi \land \diamond\psi \to \diamond(\psi\land\diamond\phi)$ in KB

Published on
#logic #propositional-calculus #natural-deduction #formal-proofs #modal-logic
170
Views

Showing $\vdash \phi\to \square \diamond \phi$

Published on
#logic #propositional-calculus #proof-theory #formal-proofs #modal-logic
99
Views

Proving $\neg (p\land \diamond q)$

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

Proving that a sentence is inconsistent

Published on
#logic #propositional-calculus #proof-theory #modal-logic #provability
57
Views

About provability of modal axioms in modal logics

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

Why are these PDL formulas valid and invalid

Published on
#logic #modal-logic
89
Views

Is $(\Diamond p \rightarrow \Diamond q)\rightarrow \Diamond (p \rightarrow q)$ invalid in K?

Published on
#logic #modal-logic
138
Views

Is this Modal (bisimulation) contraction correct?

Published on
#logic #modal-logic
58
Views

$\vdash\neg(\square \neg p\land p\land\diamond(p\land\square p\land \diamond p) )$

Published on
#propositional-calculus #proof-theory #formal-proofs #modal-logic
86
Views

Consistency of a sentence in $S5$

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

How to deduce $\square p\to p$ from other modal axioms?

Published on
#logic #propositional-calculus #proof-theory #modal-logic #provability
166
Views

How to interpret $\Box\Box A$ in the possible worlds

Published on
#logic #modal-logic
35
Views

Basic Constructive Modal Logic and Monoidal Endofunctors

Published on
#modal-logic #intuitionistic-logic #categorical-logic
71
Views

$w\models\phi$ or $w\models\neg \phi$

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

Order of Operations Modal Logic

Published on
#logic #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.