Profile Activity

user643175

Reputation

175

Top tag

propositional-calculus

Next privilege

250 Rep.

View close votes

Badges

Newest

Tumbleweed

Next badge

0/1

Impact

0 posts edited

0 helpful flags

11 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

15 Questions

Views Newest Activity Votes

votes

answers

243

views

Formal proof of one of De Morgan's laws

Feb 26 at 16:56 Frank Hubeny 1,351

votes

answers

views

Formal proof of distributivity of conjuction

logic propositional-calculus proof-theory natural-deduction formal-proofs

Feb 9 at 23:23 Taroccoesbrocco 7,809

votes

answer

views

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

Mar 24 at 5:49 Alex Kruckman 33.9k

votes

answer

views

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

Mar 11 at 5:15 Alex Kruckman 33.9k

votes

answers

views

Is this proof in natural deduction proof system correct?

logic propositional-calculus natural-deduction formal-proofs provability

Feb 27 at 0:23 Graham Kemp 95.3k

vote

answer

views

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

Mar 13 at 20:02 Mauro ALLEGRANZA 74.5k

vote

answer

views

Prove $\vdash \neg(\square F\land p)$ in $KD$

Mar 11 at 16:33 Charles Bronson 592

vote

answer

views

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

Mar 10 at 23:14 Alex Kruckman 33.9k

votes

answer

views

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

Apr 10 at 17:12 spaceisdarkgreen 39.2k

votes

answer

views

Consistency of a sentence in $S5$

Mar 23 at 21:16 spaceisdarkgreen 39.2k

votes

answers

views

$\phi$ satisfiable implies $\square \phi$ satisfiable?

Mar 23 at 17:05 user643175 175

votes

answer

views

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

Mar 22 at 10:37 spaceisdarkgreen 39.2k

votes

answer

views

About provability of modal axioms in modal logics

Mar 11 at 19:17 Alex Kruckman 33.9k

votes

answer

views

Proving that a sentence is inconsistent [duplicate]

Mar 11 at 17:31 Alex Kruckman 33.9k

votes

answers

views

Prove $\vdash ((p\to q)\to p)\to p$ [duplicate]

logic propositional-calculus natural-deduction formal-proofs

Feb 10 at 4:09 coffeemath 4,124

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

15 Questions

Formal proof of one of De Morgan's laws

Formal proof of distributivity of conjuction

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

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

Is this proof in natural deduction proof system correct?

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

Prove $\vdash \neg(\square F\land p)$ in $KD$

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

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

Consistency of a sentence in $S5$

$\phi$ satisfiable implies $\square \phi$ satisfiable?

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

About provability of modal axioms in modal logics

Proving that a sentence is inconsistent [duplicate]

Prove $\vdash ((p\to q)\to p)\to p$ [duplicate]