LC on Tuesday, July 15th, 2014: Talk View

LC ON TUESDAY, JULY 15TH, 2014: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview side by side with other conferences

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

09:15-10:15

Definability, automorphisms and enumeration degrees

Mariya I. Soskova

11:00-12:00

Tutorial on Stategic and Extensive Games 2

Krzysztof Apt

12:00-13:00

Logic meets number theory in o-minimality

Matthias Aschenbrenner

14:30-15:15

Elections and knowledge

Rohit Parikh

15:15-16:00

Nash equilibrium semantics for Independence-Friendly Logic

Gabriel Sandu

14:30-15:15

UD-randomness and the Turing degrees

Johanna Franklin

15:15-16:00

On finitely presented expansions of groups and algebras

Bakhadyr Khoussainov

14:30-15:15

Matrix iterations and Cichoń's diagram

Diego A. Mejía

15:15-16:00

Regular cross-sections of Borel flows

Konstantin Slutsky

14:30-16:00

The place of logic in computer science education

B. Cook, A. Leitsch, P. Panangaden, N. Schweikardt, H. Veith, R. Zach

16:30-16:50

Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity

Attila Molnar, Gergely Szekely

16:50-17:10

Towards a Conditional for The Liar and the Sorites.

Sergi Oms

17:10-17:30

On graph calculus approach to modalities

Sheila Veloso, Paulo Veloso, Mario Benevides

17:30-17:50

Complexity of generalized grading with inverse relations and intersection of relations

Mitko Yanchev

17:50-18:10

Fuzzy Bsimulation for Standard Godel Modal Logic

Tuan-Fang Fan, Churn-Jung Liau

18:10-18:30

Hybrid extensions of S4 with the finite model property

Willem Conradie, Claudette Robinson

16:30-16:50

Almost structurally complete consequence operations extending S4.3

Piotr Wojtylak, Wojciech Dzik

16:50-17:10

Truth theory for logic of self-reference statements as a quaternion structure

Vladimir Stepanov

17:10-17:30

A Routley-Meyer semantics for Göodel 3-valued logic G3

Gemma Robles

17:30-17:50

Blocking the routes to triviality with depth relevance

José M. Méndez, Gemma Robles, Francisco Salto

16:30-16:50

On the almost sure validities in the finite in some fragments of monadic second-order logic

Valentin Goranko

16:50-17:10

Completeness of second-order separation logic for program verification

Makoto Tatsuta, Wei-Ngan Chin

17:10-17:30

Infinite Games Specified by 2-Tape Automata

Olivier Finkel

17:30-17:50

Circuit lower bounds in bounded arithmetics

Ján Pich

17:50-18:10

Model theory of bounded arithmetic and complexity theory

Michal Garlik

18:10-18:30

Weak Arithmetical Semantics for the Logic of Proofs

Thomas Studer

16:30-16:50

Boolean algebras and degrees of autostability relative to strong constructivizations

Nikolay Bazhenov

16:50-17:10

The $ \Delta^{0}_{\alpha} $-dimension of computable structures

Pavel Alaev

17:10-17:30

On categoricity of scattered linear orders

Andrey Frolov, Maxim Zubkov

17:30-17:50

A DNC function that computes no effectively bi-immune set

Achilles Beros

17:50-18:10

Integer-valued randomness and degrees

Michael McInerney

18:10-18:30

Effective genericity and differentiable functions

Rutger Kuyper

16:30-16:50

On $\Sigma^0_2$-initial segments of computable linear orders

Ravil Bikmukhametov

16:50-17:10

A non-uniqueness theorem for jumps of principal ideals

David Belanger, Richard Shore

17:10-17:30

Every non-zero honest elementary degree has the cupping property

Paul Shafer

17:30-17:50

Degree spectra of relations on a cone

Matthew Harrison-Trainor

17:50-18:10

$\Delta_2^0$-spectra of linear orderings

Andrey Frolov

18:10-18:30

Degree spectra of structures under $\Sigma_n$-equivalence.

Pavel Semukhin, Ekaterina Fokina, Daniel Turetsky

16:30-16:50

Effective results on the asymptotic behavior of nonexpansive iterations

Laurentiu Leustean

16:50-17:10

Pi_1 induction axioms vs Pi 1 induction rules

Andres Cordon-Franco And F. Felix Lara-Martin

17:10-17:30

Reverse mathematics of WQOs and Noetherian spaces

Alberto Marcone

17:30-17:50

A characterization for diagonalized--out objects

Saeed Salehi

17:50-18:10

Some applications of the Arithmetized Completeness Theorem to second-order arithmetic

Tin Lok Wong

18:10-18:30

Some properties of Intuitionistic Set Theory with the principle UP.

Alexey Vladimirov

16:30-16:50

The complexity of computably enumerable graphs

Luca San Mauro

16:50-17:10

The order dimensions of degree structures

Kojiro Higuchi

17:10-17:30

Computable numberings in Ershov hierarchy

Sergey Ospichev

17:30-17:50

Davies-trees in infinite combinatorics

Daniel Tamas Soukup

17:50-18:10

A descriptive set theoretical axiomatization of the Mathias model.

Wojciech Stadnicki

18:10-18:30

Restricting Martin's axiom to a ccc ground model

Miha Habič

16:30-16:50

Elementary epimorphisms between models of set theory

Robert Lubarsky, Norman Lewis Perlmutter

16:50-17:10

Generalized Ellentuck spaces and initial Tukey chains of non-p-points

Natasha Dobrinen

17:10-17:30

Co-analytic ideals on $\omega$

Konstantinos Beros

17:30-17:50

Budding Trees

Sheila Miller, Natasha Dobrinen

17:50-18:10

Finite Inseparability of Elementary Theories Based on Connection

Hsing-Chien Tsai

16:30-16:50

On various strengthenings of the notion of indivisibility

Nadav Meir

16:50-17:10

An ordinal rank characterising when Forth suffices

Roger Villemaire

17:10-17:30

Extreme amenability of precompact expansions of countably categorical structures

Alexandre Ivanov

17:30-17:50

Weak Beth definability property for finite variable fragments.

Hajnal Andréka, István Németi

17:50-18:10

Non-monotonic extensions of the weak Kleene clone with constants

Jose Martinez-Fernandez

18:10-18:30

A sheaf model of randomness

Alex Simpson

16:30-16:50

A Defense of Information Economy Principle

Hao Cheng Fu

16:50-17:10

Prospects for a Naive Theory of Classes

Hartry Field, Harvey Lederman

17:10-17:30

On the logical use of implicit contradictions

Antonio Vincenzi

17:30-17:50

Definable topological dynamics and real Lie groups

Grzegorz Jagiella

17:50-18:10

Topologies on Polish structures

Jan Dobrowolski

18:10-18:30

Explosiveness, Model Existence, and Incompatible Paraconsistencies

Jui-Lin Lee

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break

19:00-20:00

VSL Public Lecture: Gödel in Vienna

Karl Sigmund