Mathematics
Björn's user avatar
Björn's user avatar
Björn's user avatar
Björn
  • Member for 9 years, 2 months
  • Last seen more than 4 years ago
Profile Activity
Stats
416
reputation
199k
reached
14
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
4
bronze badges
Top tags
View all tags
18
Score
13
Posts
93
Posts %
6
Score
4
Posts
29
Posts %
6
Score
4
Posts
29
Posts %
4
Score
2
Posts
14
Posts %
4
Score
2
Posts
14
Posts %
4
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
4
Semantic tableau software
Dec 12, 2014
answer
3
Conditions for total orders in temporal logic
Mar 3, 2015
answer
2
Can linearity be expressed by a modal logic formula?
Jan 9, 2015
answer
2
Is there a summary of all rules for each type of logic?
Aug 11, 2015
answer
2
Minimal difference between classical and intuitionistic sequent calculus
Nov 28, 2017
answer
2
Theory on the structure of proofs
Nov 28, 2017
answer
1
Undecidability and truth
Oct 29, 2014
answer
1
Question on epistemic logic
Jan 13, 2015
answer
1
If yesterday were tomorrow, then today would be Friday.
Feb 5, 2015
answer
1
Reference Request: Compendium of Hilbert Systems
Feb 8, 2015

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.