Adapting Logics

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Andreas Blass

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)

Adapting Logics (PDF)

Seattle, Washington

August 12-August 15

ISBN: 0-7695-2631-4

	ASCII Text	x
	Andreas Blass, "Adapting Logics," Logic in Computer Science, Symposium on, pp. 123, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006.

	BibTex	x
	@article{ 10.1109/LICS.2006.9, author = {Andreas Blass}, title = {Adapting Logics}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2006}, issn = {1043-6871}, pages = {123}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2006.9}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Logic in Computer Science, Symposium on TI - Adapting Logics SN - 1043-6871 SP EP A1 - Andreas Blass, PY - 2006 KW - null VL - 0 JA - Logic in Computer Science, Symposium on ER -

Andreas Blass, Microsoft Research, USA

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2006.9

I plan to survey some of the adaptations and variations of logic that have been introduced for various purposes. For obvious reasons, I shall concentrate mainly on purposes related to computer science and on adaptations that have played a role in my own research. Along the way, I shall touch on some open problems.

Citation:

Andreas Blass, "Adapting Logics," lics, pp.123, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.