Bernhard Heinemann (heinemann-b)

Contributions to Philosophie.ch

Bibliography

Heinemann, Bernhard. 1998. “Topological Nexttime Logic.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 99–112. Stanford, California: CSLI Publications.
Heinemann, Bernhard. 2003. “Towards Uniform Reasoning via Structured Subset Spaces.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 185–204. London: King’s College Publications.
Heinemann, Bernhard. 2004. “A Modal Logic for Discretely Descending Chains of Sets.” Studia Logica: An International Journal for Symbolic Logic 76(1): 67–90.
Heinemann, Bernhard. 2005. “A Two-Sorted Hybrid Logic Including Guarded Jumps.” in Advances in Modal Logic, volume V, edited by Renate A. Schmidt, Ian Pratt-Hartmann, Mark A. Reynolds, and Heinrich Theodor Wansing, pp. 73–92. London: King’s College Publications.
Heinemann, Bernhard. 2006. “Regarding Overlaps in ‘Topologic’ .” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 259–277. London: King’s College Publications.