Philosophy
davide_cava's user avatar
davide_cava's user avatar
davide_cava's user avatar
davide_cava
  • Member for 2 months
  • Last seen more than a week ago
Profile Activity
Stats
29
reputation
184
reached
0
answers
4
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
0
Score
3
Posts
75
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
2
Interpretation of formula with free variables in QML with varying domain
Oct 5
question
0
Completeness theorem for QML. A doubt about the relation R in the canonical model. (constant domain)
Nov 4
question
0
when A[t/x] it's false? It's to prove UI its valid in quantified modal logic with constant domain
Sep 16
question
0
FOL: variable assignment and x-variant
Sep 22

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.