Old Web
English
Sign In
Acemap
>
Paper
>
Feferman-Landin Logic
Feferman-Landin Logic
2016
Ian A. Mason
Carolyn Talcott
Wilfried Sieg
Richard Sommer
Carolyn Talcott
Keywords:
Computational logic
Algorithm
Logic family
Logic optimization
Philosophy of logic
Dynamic logic (modal logic)
Substructural logic
Multimodal logic
Intermediate logic
Computer science
Many-valued logic
Autoepistemic logic
Programming language
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]