Autor der Publikation

Temporal logic of surjective bounded morphisms between finite linear processes.

, , , , und . J. Appl. Non Class. Logics, 34 (1): 1-30 (Januar 2024)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Common Knowledge in Epistemic Logic With Hypotheses., und . GCAI, Volume 65 von EPiC Series in Computing, Seite 139-151. EasyChair, (2019)Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses., und . Inteligencia Artif., 23 (65): 1-18 (2020)Common Knowledge in an Epistemic Logic with Hypotheses., und . GCAI, Volume 72 von EPiC Series in Computing, Seite 83-91. EasyChair, (2020)An Approach to Minimal Belief via Objective Belief., und . IJCAI, Seite 1045-1050. IJCAI/AAAI, (2011)Trust, Belief and Honesty., und . GCAI, Volume 36 von EPiC Series in Computing, Seite 215-228. EasyChair, (2015)Completeness by Modal Definitions., und . IBERAMIA, Volume 11238 von Lecture Notes in Computer Science, Seite 67-79. Springer, (2018)Minimal Knowledge and Belief via Minimal Topology., und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 273-285. Springer, (2010)An Epistemic Logic with Hypotheses., und . LORI, Volume 6953 von Lecture Notes in Computer Science, Seite 286-299. Springer, (2011)Algebraic semantics for modal and superintuitionistic non-monotonic logics., und . J. Appl. Non Class. Logics, 23 (1-2): 147-158 (2013)On Logics of Group Belief in Structured Coalitions., , und . JELIA, Volume 10021 von Lecture Notes in Computer Science, Seite 97-111. (2016)