TU Berlin

Formale Modelle, Logik & ProgrammierungDr. Sebastian Bab

isti-logo

Inhalt des Dokuments

zur Navigation

Dr. Sebastian Bab

Kontaktinformationen

Lupe

Dr. rer. nat. Sebastian Bab

E-Mail: bab(AT)cs.tu-berlin.de



Adresse:

Technische Universität Berlin,
Fakultät IV Sekretariat TEL 12-3,
Ernst-Reuter-Platz 7,
10587 Berlin,
Deutschland



Telefon:
(+49 30) 314 - 73174
Telefax:
(+49 30) 314 - 29037

Sprechzeiten:

Montag, 9:00 bis 10:00 Uhr (in der vorlesungsfreien Zeit nur nach Vereinbarung per e-mail)

Raum: TEL 1204

Forschungsinteressen

  • Logik

    • Propositionale Logiken und Epsilon_T-Logiken
    • Modallogiken
    • Wahrheits- und Urteilslogiken
    • Theorien zur Kombination von Logiken

  • Formalisierung des Integrationsbegriffs
  • Komplexitätstheorie

Publikationen

Sebastian Bab, Bernd Mahr, Tina Wieczorek
On Specific Intensional Models for εT-Logics.
In: Sebastian Bab and Klaus Robering (Hg.): Judgements and Propositions. Logical, Linguistiv, and Cognitive Issues. Reihe: Logische Philosophie, herausgegeben von H. Wessel, U. Scheffler, Y. Shramko, M. Urchs. Logos Verlag 2010.

Sebastian Bab, Bernd Mahr, Tina Wieczorek
ε-Style (of) Semantics - An alternative to set-theoretic modelling.
In: Klaus Robering (Hg.): New Approaches to Classes and Concepts, Studies in Logic, College Publications 2009.

Sebastian Bab
εμ-Logics - Propositional Logics with Self-Reference and Modalitites.
Autonomoues Sysstems - Self Organization, Management, and Control. Proceedings of the 8th International Workshop held at   the Shanghai Jiao Tong University, Springer 2008, Seiten 79-86.

Sebastian Bab
Zur Frage korrekter und vollständiger Kalküle der εμ-Logiken.
Technischer Bericht. KIT-Report 153. Technische Universität Berlin, 2007.

Sebastian Bab
εμ-Logik - Eine Theorie propositionaler Logiken.
Dissertation. Shaker Verlag 2007.

Sebastian Bab und Bernd Mahr
A Conceptual Model for Conformance, Compliance and Consistency.
Embedded Systems - Modeling, Technology, and Applications. Proceedings of the 7th International Workshop held at Technical University Berlin, Springer 2006, Seiten 1-10.

Sebastian Bab und Arfst Nickelsen
One query reducibilities between partial information classes.
TCS, Theoretical Computer Science 345, 2005, Seiten 173-189.

Sebastian Bab und Bernd Mahr
Reference Point for the Observation of Systems Behaviour.
Human Interaction with Machines. Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, Springer 2005, Seiten 1-12.

Sebastian Bab und Bernd Mahr
Epsilon_T-Integration of Logics.
Formal Methods in Software and Systems Modeling, Springer 2005, Seiten 204-219.

Sebastian Bab
Ideen zu einer modalen Epsilon_T-Logik.
Modals and Human Reasoning, Wissenschaft & Technik Verlag 2005, Seiten 73-88.

Sebastian Bab, Jens Gulden, Thomas Noll und Tina Wieczorek (editors)
Models and Human Reasoning.
Wissenschaft & Technik Verlag 2005.

Sebastian Bab und Arfst Nickelsen
One Query Reducibilities Between Partial Information Classes.
MFCS 2004, Mathematical Foundations of Computer Science, Prag, August 2004, LNCS 3153, 12 pages.

Sebastian Bab und Arfst Nickelsen
Reducibilities between Polynomial Time Partial Information Classes Over 2-Families (Technical Report).
Technical University of Berlin, Department of Computer Science and Electrical Engineering, 2004, TR 2004/07.

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe