DocumentCode :
2510239
Title :
Adapting Logics
Author :
Blass, Andreas
Author_Institution :
Dept. of Math., Michigan Univ., Ann Arbor, MI
fYear :
0
fDate :
0-0 0
Firstpage :
123
Lastpage :
123
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 2006 21st Annual IEEE Symposium on
Conference_Location :
Seattle, WA
ISSN :
1043-6871
Print_ISBN :
0-7695-2631-4
Type :
conf
DOI :
10.1109/LICS.2006.9
Filename :
1691223
Link To Document :
بازگشت