Author_Institution :
Dept. of Math., Michigan Univ., Ann Arbor, MI
Abstract :
In this paper the author plans to survey some of the adaptations and variations of logic that have been introduced for various purposes. For obvious reasons, we concentrate mainly on purposes related to computer science and on adaptations that have played a role in the research. Along the way, the author discusses some open problems
Keywords :
formal logic; game theory; computer science; formal logic; game theory; Computer science; Database languages; Logic; Mathematics; Set theory;
Conference_Titel :
Logic in Computer Science, 2006 21st Annual IEEE Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
0-7695-2631-4
DOI :
10.1109/LICS.2006.9