Towards Intuitionistic Dynamic Logic
Degen W, Werner J (2007)
Publication Type: Conference contribution
Publication year: 2007
Publisher: Nicolaus Copernicus University Press
Series: Logic and Logical Philosophy
City/Town: Torun
Book Volume: 15
Pages Range: 305-324
Conference Proceedings Title: Proceedings of Studia Logica 2006
Event location: Torùn, Polen
Journal Issue: 4
URI: https://www10.informatik.uni-erlangen.de/Publications/Papers/2006/Degen_StudiaLogica06.pdf
Authors with CRIS profile
Related research project(s)
How to cite
APA:
Degen, W., & Werner, J. (2007). Towards Intuitionistic Dynamic Logic. In Proceedings of Studia Logica 2006 (pp. 305-324). Torùn, Polen, PL: Torun: Nicolaus Copernicus University Press.
MLA:
Degen, Wolfgang, and J.M. Werner. "Towards Intuitionistic Dynamic Logic." Proceedings of the Studia Logica International Conference - Trends in Logic IV, Torùn, Polen Torun: Nicolaus Copernicus University Press, 2007. 305-324.
BibTeX: Download