2008 Winter Meeting of the Association for Symbolic Logic

DOI10.2178/BSL/1243948488zbMath1162.03303OpenAlexW1858949461MaRDI QIDQ3633208

No author found.

Publication date: 17 June 2009

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1243948488

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Presheaf semantics and independence results for some non-classical first- order logics
• First-order classical modal logic
• Topoi. The categorial analysis of logic

This page was built for publication: 2008 Winter Meeting of the Association for Symbolic Logic