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