Heinemann, Bernhard Reusing topological nexttime logic. (English) Zbl 1484.03025 Stud. Log. 108, No. 6, 1207-1234 (2020). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Stud. Log. 108, No. 6, 1207--1234 (2020; Zbl 1484.03025) Full Text: DOI
Heinemann, Bernhard Augmenting subset spaces to cope with multi-agent knowledge. (English) Zbl 1474.68336 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 130-145 (2016). MSC: 68T27 03B42 68T30 68T42 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 9537, 130--145 (2016; Zbl 1474.68336) Full Text: DOI
Heinemann, Bernhard Subset space vs relational semantics of bimodal logic: bringing out the difference. (English) Zbl 1437.03088 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 219-233 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 7734, 219--233 (2013; Zbl 1437.03088) Full Text: DOI
Heinemann, Bernhard Using hybrid logic for coping with functions in subset spaces. (English) Zbl 1196.03035 Stud. Log. 94, No. 1, 23-45 (2010). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{B. Heinemann}, Stud. Log. 94, No. 1, 23--45 (2010; Zbl 1196.03035) Full Text: DOI
Heinemann, Bernhard Observational effort and formally open mappings. (English) Zbl 1246.03037 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 197-208 (2009). MSC: 03B42 PDFBibTeX XMLCite \textit{B. Heinemann}, Lect. Notes Comput. Sci. 5514, 197--208 (2009; Zbl 1246.03037) Full Text: DOI
Heinemann, Bernhard A hybrid logic for reasoning about knowledge and topology. (English) Zbl 1202.03030 J. Logic Lang. Inf. 17, No. 1, 19-41 (2008). Reviewer: Marie Duží (Ostrava) MSC: 03B42 03B45 03C80 PDFBibTeX XMLCite \textit{B. Heinemann}, J. Logic Lang. Inf. 17, No. 1, 19--41 (2008; Zbl 1202.03030) Full Text: DOI