12th Panhellenic Logic Symposium

June 26-30, 2019
Anogeia, Crete, Greece

Contributed Talks

  • Luca Aceto, Antonis Achilleos, Adrian Francalanza and Anna Ingolfsdottir, The Complexity of Recursion in Modal Logic: First Steps

  • Tuna Altinel, Berkman Ayse and Frank Wagner, Sharply 2-transitive Groups of Finite Morley Rank

  • Elli Anastasiadi, Luca Aceto and Anna Ingolfsdottir, An Axiomatization of Verdict Equivalence over Regular Monitors

  • Maria Andrikopoulou and Theofanis Aravanis, Mapping Parametrised Difference Revision Operators to Belief Contraction

  • Theofanis Aravanis, Pavlos Peppas and Mary-Anne Williams, On the Strong Version of Parikh's Relevance-Sensitive Axiom for Belief Revision

  • Ludovica Conti, Russell’s Paradox and free zig zag solutions.

  • Charalampos Cornaros, About the existence of products of primes in I∆0

  • Samuel G. Da Silva, Reductions between certain incidence problems and the Continuum Hypothesis

  • Costas Dimitracopoulos, Stoicheia in Prior Analytics?

  • Matthias Eberl, Indefinitely Extensible Models and a Relative Infinite

  • Sebastian Eterovic, Categoricity of Shimura Varieties

  • Danko Ilik, Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms

  • Miltiadis Karamanlis and Vassilis Kanellopoulos, A Ramsey Type Property of Groups and Group Actions

  • G. A. Kavvos, Proving Noninterference by Abstract Nonsense

  • Andrew Lewis-Smith, Paulo Oliva and Rob Arthan, Hajek’s BL is Urquhart’s C with Tensor

  • Joan Moschovakis, Calibrating the negative interpretation

  • Yiannis Moschovakis, The fixed point theory of complexity

  • Aristotelis Panagiotopoulos and Martino Lupini, Games orbits play and obstructions to Borel reducibility

  • Edoardo Rivello, Dependence and the method of definition by recursion

  • Ramez Sami, Variations on ∆11 Determinacy and אω1

  • Andrey Sariev, Minimal ω-Turing degrees

  • Mariya Soskova, The ∀∃∀-theory of the partial order of the enumeration degrees

  • Iulian Toader, On the Categoricity of Quantum Mechanics