( en | de | ru )

 

Disambiguierung von "Braüner, Torben"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Intuitionistic hybrid logic.

, und . J. Appl. Log., 4 (3): 231-255 (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Brauner

Andreas Brauner

Siegmund Brauner

Gerhard Bräuner

Renate Brauner

 

Weitere Publikationen von Autoren mit dem selben Namen

A Model of Intuitionistic Affine Logic From Stable Domain Theory.. ICALP, Volume 820 von Lecture Notes in Computer Science, Seite 340-351. Springer, (1994)Peircean Graphs for the Modal Logic S5.. ICCS, Volume 1453 von Lecture Notes in Computer Science, Seite 255-269. Springer, (1998)First-order modal logic., und . Handbook of Modal Logic, Volume 3 von Studies in logic and practical reasoning, North-Holland, (2007)Completeness and termination for a Seligman-style tableau system., , , und . J. Log. Comput., 27 (1): 81-107 (2017)A Simple Adequate Categorical Model for PCF, II.. Fundam. Informaticae, 33 (4): 339-368 (1998)A Cut-Free Gentzen Formulation of the Modal Logic S5.. Logic Journal of the IGPL, 8 (5): 629-643 (2000)Preface., , und . Synth., 150 (3): 327-328 (2006)Intuitionistic hybrid logic., und . J. Appl. Log., 4 (3): 231-255 (2006)Preface., und . M4M, Volume 262 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2009)A logical investigation of false-belief tasks., , und . CogSci, cognitivesciencesociety.org, (2018)