E-LIB Suche - Ergebnisse für: Goranko, Valentin

1

Temporal logics

Cambridge elements. Elements in philosophy and logic

Goranko, Valentin , 2023

2

Structural theory of trees II.Completeness and completions ..:

Kellerman, Ruaan ; Zanardo, Alberto ; Goranko, Valentin
Contributions to Discrete Mathematics. 18 (2023) 2 - p. 210-233 , 2023

Link: https://doi.org/10.55016..

3

Logics for Strategic Reasoning of Socially Interacting Rati..:

Goranko, Valentin
Logics. 1 (2023) 1 - p. 4-35 , 2023

Link: https://doi.org/10.3390/..

4

Structural theory of trees I.Branching and condensations of..:

Goranko, Valentin ; Kellerman, Ruaan ; Zanardo, Alberto
Contributions to Discrete Mathematics. 18 (2023) 2 - p. 188-209 , 2023

Link: https://doi.org/10.55016..

5

Knowledge-based strategies for multi-agent teams playing ag..:

Gurov, Dilian ; Goranko, Valentin ; Lundberg, Edvin
Artificial Intelligence. 309 (2022) - p. 103728 , 2022

Link: https://doi.org/10.1016/..

6

Preplay Negotiations with Unconditional Offers of Side Paym..:

Goranko, Valentin
Mathematics. 10 (2022) 14 - p. 2518 , 2022

Link: https://doi.org/10.3390/..

7

A Logic for Conditional Local Strategic Reasoning:

Goranko, Valentin ; Ju, Fengkui
Journal of Logic, Language and Information. 31 (2022) 2 - p. 167-188 , 2022

Link: https://doi.org/10.1007/..

8

From the Venerable History of Logic to the Flourishing Futu..:

Goranko, Valentin
Logics. 1 (2022) 1 - p. 2-3 , 2022

Link: https://doi.org/10.3390/..

9

The Temporal Logic of Coalitional Goal Assignments in Concu..:

Enqvist, Sebastian ; Goranko, Valentin
ACM Transactions on Computational Logic. 23 (2022) 4 - p. 1-58 , 2022

Link: https://doi.org/10.1145/..

10

Transformations of Multi-Player Normal form Games by Prepla..:

Goranko, Valentin
Axioms. 11 (2022) 2 - p. 73 , 2022

Link: https://doi.org/10.3390/..

11

APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE ..:

KELLERMAN, RUAAN ; GORANKO, VALENTIN
The Journal of Symbolic Logic. 86 (2021) 3 - p. 1035-1065 , 2021

Link: https://doi.org/10.1017/..

12

Algorithmic Correspondence for Relevance Logics I. The Algo..:

, In: Outstanding Contributions to Logic; Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs,

Conradie, Willem ; Goranko, Valentin - p. 163-211 , 2021

Link: https://doi.org/10.1007/..

13

Algorithmic Correspondence for Relevance Logics, Bunched Im..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Conradie, Willem ; Goranko, Valentin ; Jipsen, Peter - p. 126-143 , 2021

Link: https://doi.org/10.1007/..

14

Logic-based Specification and Verification of Homogeneous D..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,

De Masellis, Riccardo ; Goranko, Valentin - p. 1727-1729 , 2021

Link: https://dl.acm.org/doi/1..

15

Game-theoretic semantics for ATL+ with applications to mode..:

Goranko, Valentin ; Kuusisto, Antti ; Rönnholm, Raine
Information and Computation. 276 (2021) - p. 104554 , 2021

Link: https://doi.org/10.1016/..