Logics for Set Theory and             Co-Algebra

Papers on Modal Logic for Set Theory and Coalgebra

• A. Baltag. A Coalgebraic Semantics for Epistemic Programs. Proceedings of CMCS '03 (Coalgebraic Methods in Computer Science, satellite of ETAPS '03, Warsaw, Poland), ENTCS: 82 (1):315-335, 2003. 

• A. Baltag. "A Logic for Coalgebraic Simulation". H. Reichel (ed.), Proceedings of CMCS'00 (Third Workshop on "Coalgebraic Methods in Computer Science", Berlin). ENTCS 33: 41-60, 2000. Elsevier Science B.V

• A. Baltag. STS: A Structural Theory of Sets. Dov Gabbay (ed.), Logic Journal of the IGPL 7 (4):481-515. 1999. Oxford University Press. A version appeared in Proceedings of the AiM'98L conference (Uppsala, Sweden 1998):  Advances in Modal Logic, vol 2, CSLI Publications 119: 1-34. 2000. Volume Table of Contents

• A. Baltag's Theorems. Chapter in Vicious Circles. Jon Barwise & Larry Moss, CSLI Publications, Stanford 1996.

• A. Baltag. STS: A Structural Theory of Sets. Ph. D. Thesis. Indiana University. Bloomington, Indiana USA. 1998.

• A. Baltag STS: A Structural Theory of Sets. CWI Technical Report 1998 SEN-R9842