# Accepted Papers

- E. Antonakos (New York), Comparing justified and common knowledge.
- P. Balbiani and T. Tinchev (Toulouse and Sofia), Decidability and complexity of modal definability and first-order definability within the class of all partitions.
- D. Bastiras (Adelaide), Ancient Greek responses to the Liar Paradox.
- M. Borisavljevic (Belgrade), Maximum segments and cuts.
- Chr. Chasiotis (Ioannina): Logic and teacher training.
- Ch. Cornaros (Karlovassi): Versions of Friedman's theorem for models of fragments of PA.
- C. Dimitracopoulos and A. Sirokofskich (Athens), On a problem of L. D. Beklemishev.
- D. Dobrev (Sofia), AI in arbitrary world.
- E. Foustoucos and L. Kalantzi (Athens): MSO querying over trees via Datalog evaluation.
- H. Ganchev (Sofia), A total degree splitting theorem and a jump inversion, splitting theorem.
- K. Hatzikiriakou (Volos), Extensions of commutative rings in subsystems of second-order arithmetic.
- M. Kurilic (Novi Sad), Is each Boolean algebra -Unsupported.
- B. Loewe and B. Semmes (Amsterdam), The extent of constructive games.
- J. R. Moschovakis (Los Angeles), A note on and .
- S. Nikolova and I. Pschelarov (Sofia), Points of -definedness of non-deterministic programs over an arbitrary data type.
- Z. Ognjanovic, N. Ikodinovic and Z. Markovic (Belgrade): A logic with Kolmogorov style conditional probabilities.
- E. Pacuit (New York), A note on some explicit modal logics.
- A. Pagourtzis and S. Zachos (Athens), Self-reducibility of hard counting problems with decision version in P.
- N. Papaspyrou, M. Papakyriakou and A. Manousaridis (Athens), Encoding Hoare logic in typed certified code.
- Th. Pheidas and X. Vidaux (Iraklio and Concepcion), The analogue of Buchi's problem for some rings of functions.
- N. Rigas (Athens), Three proofs of the Church-Rosser theorem in the light of labeled reduction.
- P. Rondogiannis and W. Wadge (Athens and Victoria), Infinite games and well-founded negation.
- N. Sofronidis (Thessaloniki), The law of large numbers is a -complete property.
- A. Soskova (Sofia), Properties of the joint spectra of sequences of structures.
- E. Tzanis (Amsterdam), Hybrid logic with operations on nominals.
- D. Vakarelov (Sofia), Modal definability, solving equations in modal algebras and generalizations of the Ackermann lemma.