MATH
Login Or Sign up

List Question

15
99
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
173
Views

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

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

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

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

Proving that a sentence is inconsistent

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

About provability of modal axioms in modal logics

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

Why are these PDL formulas valid and invalid

Published on
#logic #modal-logic
92
Views

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

Published on
#logic #modal-logic
141
Views

Is this Modal (bisimulation) contraction correct?

Published on
#logic #modal-logic
61
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
90
Views

Consistency of a sentence in $S5$

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

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

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

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

Published on
#logic #modal-logic
41
Views

Basic Constructive Modal Logic and Monoidal Endofunctors

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

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

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

Order of Operations Modal Logic

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