Mathematics
user avatar
user avatar
user avatar
xamid
  • Member for 5 years, 3 months
  • Last seen this week
Profile Activity
Stats
205
reputation
1k
reached
2
answers
7
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
View all tags
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
0
Score
4
Posts
44
Posts %
0
Score
3
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Are there any invalid $S5$-formulas $\psi$ such that $\diamond\psi$ is valid?
May 5, 2017
question
1
Understanding a compactness proof for modal logics which uses a standard translation
Jun 1, 2017
question
1
Compactness of modal logic by proving existence of a model for a maximal set (using Zorn's lemma)
Jun 7, 2017
question
1
Prove modus ponens for set of formulas from tautological formulation.
Mar 20, 2017
question
1
I am looking for a soundness, completeness and consistency proof for this particular $S5$ calculus.
May 2, 2017
answer
1
How can we simplify this sum over sets expression?
Dec 16, 2017
question
0
How to extend metatheorems regarding finite sets of formulas to infinite sets when compactness theorem is available?
Apr 30, 2017
question
0
How can we simplify this sum over sets expression?
Dec 5, 2017
answer
0
Prove modus ponens for set of formulas from tautological formulation.
Apr 1, 2017
Top network posts
View all network posts
50
Easiest way to flip a boolean value?
11
Get all window handles for a process
5
What paper can I cite for the estimated number of atoms in the observable universe to be lower than $10^{82}$?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.