Temporal logics

von Goranko, Valentin
Veröffentlicht 2023

Logic and discrete mathematics : a concise introduction

von Conradie, Willem
Veröffentlicht 2015

Logic and discrete mathematics : a concise introduction

Two-player preplay negotiation games with conditional offers

von Goranko, Valentin
Veröffentlicht in International game theory review (2016)

Proceedings / 14th International Symposium on Temporal Representation and Reasoning : June 28 - 30, 2007 Alicante, Spain ; [TIME 2007]

Veröffentlicht 2007

Temporal logics in computer science : Finite-state systems

von Demri, Stéphane
Veröffentlicht 2016

Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games

von Goranko, Valentin
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL

von Conradie, Willem
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)

Skazki po logika : jubilejno preizdanie (30 godini po-kăsno)

von Goranko, Valentin
Veröffentlicht 2017

Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3 - 5, 2007; revised selected papers

Veröffentlicht 2009