Old Web
English
Sign In
Acemap
>
Paper
>
Formal Logic with Conceptual Graphs
Formal Logic with Conceptual Graphs
2009
Frithjof Dau
Keywords:
Conceptual graph
Computational logic
Mathematics
Philosophy of logic
Proof calculus
Computability logic
Discrete mathematics
Dynamic logic (modal logic)
Signature (logic)
Interpretation (logic)
Description logic
Classical logic
Computer science
Programming language
First-order logic
Autoepistemic logic
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
4
Citations
NaN
KQI
[]