Ioannis Kokkinis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7650849 (Why is no real title available?) (available as arXiv preprint)	2023-02-07	Paper
Reachability and expectation in gossiping	2022-11-02	Paper
The dynamic complexity of acyclic hypergraph homomorphisms (available as arXiv preprint)	2022-06-08	Paper
Justification Logics with Probability Operators Probabilistic Extensions of Various Logical Systems	2022-01-27	Paper
Probabilistic justification logic Journal Of Logic And Computation	2020-04-29	Paper
Cyclic Proofs for Linear Temporal Logic Concepts of Proof in Mathematics, Philosophy, and Computer Science	2020-04-03	Paper
Reachability of five gossip protocols	2019-10-22	Paper
First steps towards probabilistic justification logic Logic Journal of the IGPL	2019-01-08	Paper
The complexity of satisfiability in non-iterated and iterated probabilistic logics Annals of Mathematics and Artificial Intelligence	2018-09-21	Paper
Probabilistic justification logic Logical Foundations of Computer Science	2017-07-21	Paper
The complexity of non-iterated probabilistic justification logic Lecture Notes in Computer Science	2016-05-19	Paper

Research outcomes over time

This page was built for person: Ioannis Kokkinis