Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Mathematics
Meta user
Network profile
160
reputation
10

xamid

I am a theoretical computer scientist, mainly concerned with logics; proof theory and automated theorem proving. I am developing tools to ease my life.

2
answers
7
questions
~831
people reached
  • Member for 2 years, 3 months
  • 31 profile views
  • Last seen May 11 at 17:09

Communities (17)

Top network posts

Top tags (18)

Score 1
Posts 2
Posts % 22
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 0
Posts 4
Score 0
Posts 3
View all tags →

Top posts (9) All Questions Answers | Votes Newest

5 Are there any invalid $S5$-formulas $\psi$ such that $\diamond\psi$ is valid? May 5 '17
1 Understanding a compactness proof for modal logics which uses a standard translation Jun 1 '17
1 Compactness of modal logic by proving existence of a model for a maximal set (using Zorn's lemma) Jun 7 '17
1 Prove modus ponens for set of formulas from tautological formulation. Mar 20 '17
1 I am looking for a soundness, completeness and consistency proof for this particular $S5$ calculus. May 2 '17
1 How can we simplify this sum over sets expression? Dec 16 '17
0 How to extend metatheorems regarding finite sets of formulas to infinite sets when compactness theorem is available? Apr 30 '17
0 How can we simplify this sum over sets expression? Dec 5 '17
0 Prove modus ponens for set of formulas from tautological formulation. Apr 1 '17

Badges (10)

Gold

—

Silver

—

Bronze

10

Rarest

View all badges →