Follow
Ioannis Kokkinis
Title
Cited by
Cited by
Year
First steps towards probabilistic justification logic
I Kokkinis, P Maksimović, Z Ognjanović, T Studer
Logic Journal of the IGPL 23 (4), 662-687, 2015
542015
Probabilistic justification logic
I Kokkinis, Z Ognjanović, T Studer
International Symposium on Logical Foundations of Computer Science, 174-186, 2015
412015
Cyclic proofs for linear temporal logic
I Kokkinis, T Studer
Concepts of Proof in Mathematics, Philosophy, and Computer Science, 171-192, 2016
182016
Reachability and expectation in gossiping
H van Ditmarsch, I Kokkinis, A Stockmarr
International Conference on Principles and Practice of Multi-Agent Systems …, 2017
172017
The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics
I Kokkinis
arXiv preprint arXiv:1712.00810, 2017
62017
The complexity of non-iterated probabilistic justification logic
I Kokkinis
FoIKS, 292-310, 2016
62016
Dynamic Complexity Meets Parameterised Algorithms
J Schmidt, T Schwentick, N Vortmeier, T Zeume, I Kokkinis
arXiv preprint arXiv:1910.06281, 2019
52019
The expected duration of sequential gossiping
H van Ditmarsch, I Kokkinis
Multi-Agent Systems and Agreement Technologies: 15th European Conference …, 2018
42018
Probabilistic justification logic
I Kokkinis, Z Ognjanović, T Studer
Journal of Logic and Computation 30 (1), 257-280, 2020
32020
The complexity of probabilistic justification logic
I Kokkinis
11th Panhelleic Logic Symposium, 2017
32017
Reachability of Five Gossip Protocols
H Van Ditmarsch, M Gattinger, I Kokkinis, LB Kuijer
International Conference on Reachability Problems, 218-231, 2019
22019
Uncertain Reasoning in Justification Logic
I Kokkinis
Univeristy of Bern, 2016
22016
Justification Logics with Probability Operators
I Kokkinis, N Savić, T Studer
Probabilistic Extensions of Various Logical Systems, 215-234, 2020
12020
The dynamic complexity of acyclic hypergraph homomorphisms
N Vortmeier, I Kokkinis
Graph-Theoretic Concepts in Computer Science: 47th International Workshop …, 2021
2021
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
V Cortier, A Dawar, A Jeż, D Kesner, E Bonelli, A Viso, I Tzameret, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020
2020
Annotated Sequent Systems for Linear Temporal Logic
I Kokkinis
University of Athens, 2015
2015
Typing and Termination in Lambda Calculus
I Kokkinis
National Technical University of Athens, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–17