VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Achilleos, Antonis	Complexity bounds for Multiagent Justification Logic
Akiyoshi, Ryota	Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction
Alaev, Pavel	The $ \Delta^{0}_{\alpha} $-dimension of computable structures
Aleksandrova, Svetlana	Uniformization in the hereditarily finite list superstructure over the real exponential field
Andréka, Hajnal	Weak Beth definability property for finite variable fragments.
Antonova, Olga	Aristotle’s conception of demonstration and modern proof theory
Antonutti Marfori, Marianna	Justifying proof-theoretic reflection principles
Apt, Krzysztof	Tutorial on Stategic and Extensive Games 1 Tutorial on Stategic and Extensive Games 2 Tutorial on Stategic and Extensive Games 3
Artemov, Sergei	An outline of intuitionistic epistemic logic
Aschenbrenner, Matthias	Logic meets number theory in o-minimality
Avron, Arnon	Predicative Mathematics via Safety Relations
B
Badaev, Serikzhan	Relativized universal numberings
Baldwin, John T.	Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
Bauer, Andrej	Reductions in computability theory from a constructive point of view
Bazhenov, Nikolay	Boolean algebras and degrees of autostability relative to strong constructivizations
Bedrosian, Geghard	Ultraproduct construction of representative utility functions with infinite-dimensional domain
Belanger, David	A non-uniqueness theorem for jumps of principal ideals
Benda, Thomas	Formalizing vagueness as a doxastic, relational concept
Benevides, Mario	On graph calculus approach to modalities
Beros, Achilles	A DNC function that computes no effectively bi-immune set
Beros, Konstantinos	Co-analytic ideals on $\omega$
Bikmukhametov, Ravil	On $\Sigma^0_2$-initial segments of computable linear orders
Blanchette, Patricia	The Birth of Semantic Entailment Frege on mathematical progress
Block, Alexander	A new lower bound for the length of the hierarchy of norms
Bolibekyan, Hovhannes	On the compactness theorem in many valued logics
Boney, Will	Computing the number of types of infinite tuples
Boricic, Branislav	An Intuitionistic Interpretation of Classical Implication
Boricic, Marija	Models for the probabilistic sequent calculus
Bottazzi, Emanuele	Elementary numerosities and measures.
Brouette, Quentin	Differential Galois theory in the class of formally real fields.
C
Chin, Wei-Ngan	Completeness of second-order separation logic for program verification
Chubaryan, Anahit	On proof complexities of strong equal modal tautologies.
Cohen, Liron	Predicative Mathematics via Safety Relations
Conradie, Willem	Algorithmic-algebraic canonicity for mu-calculi Hybrid extensions of S4 with the finite model property
Cook, Byron	The place of logic in computer science education
Cordón-Franco, Andres	On local induction schemes Pi_1 induction axioms vs Pi 1 induction rules
Craig, Andrew	Algorithmic-algebraic canonicity for mu-calculi
D
D'Agostino, Giovanna	On Uniform Interpolation for the Guarded Fragment
de Paiva, Valeria	An intuitive semantics for {Full Intuitionistic Linear Logic}
Dinis, Bruno	An axiomatic approach to modelling of orders of magnitude
Dobrinen, Natasha	Generalized Ellentuck spaces and initial Tukey chains of non-p-points
Dobrinen, Natasha	Budding Trees
Dobrowolski, Jan	Topologies on Polish structures
Dorzhieva, Marina	Computable numberings in Analytical Hierarchy
Dzik, Wojciech	Almost structurally complete consequence operations extending S4.3
E
Eastaugh, Benedict	Computational reverse mathematics and foundational analysis
Eisentraeger, Kirsten	Generalizations of Hilbert's Tenth Problem
Eleftheriou, Pantelis	Pregeometries and definable groups
Espindola, Christian	Semantic completeness of first order theories in constructive reverse mathematics
F
Faizrahmanov, Marat	Limitwise monotonic sets of reals
Fan, Tuan-Fang	Fuzzy Bsimulation for Standard Godel Modal Logic
Farahani, Hadi	Predicate Glivenko theorems and substructural aspects of negative translations
Fernández-Duque, David	Provability logics and proof-theoretic ordinals
Field, Hartry	Prospects for a Naive Theory of Classes
Finkel, Olivier	Infinite Games Specified by 2-Tape Automata
Fischer, Vera	Cardinal invariants and template iterations
Fokina, Ekaterina	Degree spectra of structures under $\Sigma_n$-equivalence.
Foreman, Matt	The Singular Cardinals Problem after 130 years or so
Forssell, Henrik	Constructive completeness and Joyal's theorem
Franklin, Johanna	UD-randomness and the Turing degrees
Frittella, Sabine	Display-type calculi for non classical logics
Frolov, Andrey	On categoricity of scattered linear orders $\Delta_2^0$-spectra of linear orderings
Fu, Hao Cheng	A Defense of Information Economy Principle
G
Garlik, Michal	Model theory of bounded arithmetic and complexity theory
Goncharov, Sergey	Relativized universal numberings
Goranko, Valentin	On the almost sure validities in the finite in some fragments of monadic second-order logic
Goudsmit, Jeroen	Characterising Logics through their Admissible Rules
Greenberg, Noam	Applications of admissible computability
Grigoriev, Oleg	Two Formalisms for a Logic of Generalized Truth Values
Guerrieri, Giulio	Natural deduction for intuitionistic differential linear logic
Gyenis, Zalán
H
Habič, Miha	Restricting Martin's axiom to a ccc ground model
Hachtman, Sherwood	Unraveling $\Sigma^0_\alpha(\Pi^1_1)$-Determinacy
Harrison-Trainor, Matthew	Degree spectra of relations on a cone
Hempel, Nadja	Around n-dependent fields
Herzberg, Frederik	Ultraproduct construction of representative utility functions with infinite-dimensional domain
Higuchi, Kojiro	The order dimensions of degree structures
Horsten, Leon	Reflection, Trust, Entitlement
Hölzl, Rupert	Randomness in the Weihrauch degrees
I
Ikegami, Daisuke	Large cardinals, forcing axioms, and the theory of subsets of \omega_1
Ilic, Mirjana	An Intuitionistic Interpretation of Classical Implication
Incurvati, Luca	Restrictiveness relative to notions of interpretation
Issakhov, Assylbek	Ideals without minimal numberings in the Rogers semilattice
Ivanov, Alexandre	Extreme amenability of precompact expansions of countably categorical structures
J
Jagiella, Grzegorz	Definable topological dynamics and real Lie groups
Joosten, Joost	Provability logics and proof-theoretic ordinals
K
Kakas, Antonis	Argumentation Logic
Kalimullin, Iskander	Uniform and non-uniform reducibilities of algebraic structures On limitwise monotonic reducibility of Σ^0_2-sets. Limitwise monotonic sets of reals
Kanovei, Vladimir	A generalization of Solovay's Sigma-construction with application to intermediate models
Karimi, Ahmad	A universal diagonal schema by fixed-points and Yablo’s paradox
Kesala, Meeri	Quasiminimal structures and excellence
Khoussainov, Bakhadyr	On finitely presented expansions of groups and algebras
Knight, Julia	Computable structure theory and formulas of special forms
Koerwien, Martin	Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
Kogabaev, Nurlan	The isomorphism problem for computable projective planes
Kolodziejczyk, Leszek	The problem of a model without collection and without exponentiation
Kostrzycka, Zofia	On Hallden complete modal logics determined by homogeneous frames
Kulpeshov, Beibut	Some remarks on $\aleph_0$-categorical weakly circularly minimal structures
Kuyper, Rutger	Effective genericity and differentiable functions
Königsmann, Jochen	Definable valuation rings
L
Laskowski, Michael C.	Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes
Le Sueur, Chris	Determinacy of Refinements to the Difference Hierarchy of Co-analytic sets
Lederman, Harvey	Prospects for a Naive Theory of Classes
Lee, Jui-Lin	Explosiveness, Model Existence, and Incompatible Paraconsistencies
Leitsch, Alexander	The place of logic in computer science education
Lenzi, Giacomo	On Uniform Interpolation for the Guarded Fragment
Leustean, Laurentiu	Effective results on the asymptotic behavior of nonexpansive iterations
Liau, Churn-Jung	Fuzzy Bsimulation for Standard Godel Modal Logic
Loewe, Benedikt	Restrictiveness relative to notions of interpretation
Lubarsky, Robert	Elementary epimorphisms between models of set theory
Lücke, Philipp	Locally definable well-orders
M
Madarász, Judit X.	A completeness theorem for general relativity
Malicki, Maciej	Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures
Mancarella, Paolo	Argumentation Logic
Marcone, Alberto	Reverse mathematics of WQOs and Noetherian spaces
Martinez-Fernandez, Jose	Non-monotonic extensions of the weak Kleene clone with constants
Massolo, Alba	Modelling Inference in Fiction
McInerney, Michael	Integer-valued randomness and degrees
Meir, Nadav	On various strengthenings of the notion of indivisibility
Mejía, Diego A.	Matrix iterations and Cichoń's diagram
Mermelstein, Omer	Reducts of simple (non-collapsed) Fraisse-Hrushovski constructions
Miller, Benjamin	Definable cardinals just beyond R / Q
Miller, Russell	Coding graphs into fields
Miller, Sheila	Budding Trees
Miquel, Alexandre	Tutorial on classical realizability and forcing 1 Tutorial on Classical Realizability and Forcing 3 Tutorial on Classical Realizability and Forcing 2
Mirek, Ryszard	Natural Deduction in Renaissance Geometry
Mnatsakanyan, Armen	The relation between the graphs structures and proof complexity of corresponding Tseitin graph tautologies On proof complexities of strong equal modal tautologies.
Molnar, Attila	Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity theories
Morozov, Andrey	On the existential interpretability of structures
Morton, Wilmari	Canonical extensions and prime filter completions of poset expansions.
Mota, Miguel Angel	Forcing with finite conditions and preserving CH
Mueller-Theys, Joachim	Metalogical Extensions--Part II: First-order Consequences and Gödel
Méndez, José M.	Blocking the routes to triviality with depth relevance
N
Nalbandyan, Hakob	On proof complexities of strong equal modal tautologies.
Nogina, Elena	On Explicit-Implicit Reflection Principles.
Nourani, Cyrus F	More On Completion with Horn Filters
Németi, István	Weak Beth definability property for finite variable fragments.
O
Oms, Sergi	Towards a Conditional for The Liar and the Sorites.
Ono, Hiroakira	Predicate Glivenko theorems and substructural aspects of negative translations
Ospichev, Sergey	Computable numberings in Ershov hierarchy
P
Pakhomov, Fedor	Ordinal Notations and Fundamental Sequences in Caucal Hierarchy
Palacín, Daniel	The Fitting subgroup of a supersimple group
Panangaden, Prakash	The place of logic in computer science education
Parikh, Rohit	Elections and knowledge
Park, Jennifer	Coding graphs into fields
Pereira, Luiz Carlos	An intuitive semantics for {Full Intuitionistic Linear Logic}
Perlmutter, Norman Lewis	Elementary epimorphisms between models of set theory
Petrolo, Mattia	Natural deduction for intuitionistic differential linear logic
Pich, Ján	Circuit lower bounds in bounded arithmetics
Pistone, Paolo	Type equations and second order logic
Point, Françoise	Differential Galois theory in the class of formally real fields.
Ponomaryov, Denis	The algorithmic complexity of decomposability in fragments of first-order logic
Poonen, Bjorn	Coding graphs into fields
Protopopescu, Tudor	An outline of intuitionistic epistemic logic
R
Reynolds, Mark	Synthesis for monadic logic over the reals
Robinson, Claudette	Hybrid extensions of S4 with the finite model property
Robles, Gemma	A Routley-Meyer semantics for Göodel 3-valued logic G3 Blocking the routes to triviality with depth relevance
Rossi, Lorenzo	Adding a Conditional to Kripke's Theory of Truth
S
Salehi, Saeed	A characterization for diagonalized--out objects A universal diagonal schema by fixed-points and Yablo’s paradox
Salto, Francisco	Blocking the routes to triviality with depth relevance
San Mauro, Luca	The complexity of computably enumerable graphs
Sanders, Sam	Reverse Mathematics, more explicitly
Sandu, Gabriel	Nash equilibrium semantics for Independence-Friendly Logic
Sariev, Andrey	Definability of 0' in the structure of $\omega$-enumeration degrees
Satekbaeva, Aizhan	On the existential interpretability of structures
Schoutens, Hans	Coding graphs into fields
Schweber, Noah	Computability in generic extensions
Schweikardt, Nicole	The place of logic in computer science education
Semukhin, Pavel	Degree spectra of structures under $\Sigma_n$-equivalence.
Shafer, Paul	Every non-zero honest elementary degree has the cupping property
Shlapentokh, Alexandra	Coding graphs into fields
Shore, Richard	A non-uniqueness theorem for jumps of principal ideals
Simpson, Alex	A sheaf model of randomness
Slutsky, Konstantin	Regular cross-sections of Borel flows
Soskova, Alexandra	Degree spectra of sequences of structures
Soskova, Mariya I.	Definability, automorphisms and enumeration degrees
Soukup, Daniel Tamas	Davies-trees in infinite combinatorics
Stadnicki, Wojciech	A descriptive set theoretical axiomatization of the Mathias model.
Stepanov, Vladimir	Truth theory for logic of self-reference statements as a quaternion structure
Studer, Thomas	Weak Arithmetical Semantics for the Logic of Proofs
Stukachev, Alexey	Dynamic logic on approximation spaces
Suzuki, Nobu-Yuki	Some properties related to the existence property in intermediate predicate logics
Szabo, Mate	C. I. Lewis' Influence on the Early Work of Emil Post
Szekely, Gergely	Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity theories A completeness theorem for general relativity
T
Tatsuta, Makoto	Completeness of second-order separation logic for program verification
Toni, Francesca	Argumentation Logic
Tsai, Hsing-Chien	Finite Inseparability of Elementary Theories Based on Connection
Turetsky, Daniel	Degree spectra of structures under $\Sigma_n$-equivalence.
Tussupov, Jamalbek	On the existential interpretability of structures
U
Urtubey, Luis	Modelling Inference in Fiction
Usuba, Toshimichi	Reflection principle of list-chromatic number of graphs
Uzquiano, Gabriel	On Bernays' Generalization of Cantor's Theorem
V
van Alten, Clint	Canonical extensions and prime filter completions of poset expansions.
Van Benthem, Johan	The DNA of logic and games.
Van den Berg, Imme	An axiomatic approach to modelling of orders of magnitude
Van der Meeren, Jeroen	The maximal order type of the trees with the gap-embeddability relation
Vasey, Sebastien	Indiscernible extraction and Morley sequences
Vatev, Stefan	Embedding the omega-enumeration degrees into the Muchnik degrees generated by spectra of structures
Veith, Helmut	The place of logic in computer science education
Veloso, Paulo	On graph calculus approach to modalities
Veloso, Sheila	On graph calculus approach to modalities
Villaveces, Andres	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
Villemaire, Roger	An ordinal rank characterising when Forth suffices
Vincenzi, Antonio	On the logical use of implicit contradictions
Visser, Albert	On a theorem of McAloon
Vladimirov, Alexey	Some properties of Intuitionistic Set Theory with the principle UP.
Väänänen, Jouko	Dependence and independence - a logical approach
W
Westrick, Linda Brown	A computability approach to three hierarchies
Wojtylak, Piotr	Almost structurally complete consequence operations extending S4.3
Wong, Tin Lok	Some applications of the Arithmetized Completeness Theorem to second-order arithmetic
Y
Yanchev, Mitko	Complexity of generalized grading with inverse relations and intersection of relations
Yeshkeyev, Aibat	On Jonsson sets and some their properties.
Z
Zach, Richard	The place of logic in computer science education
Zainetdinov, Damir	On limitwise monotonic reducibility of Σ^0_2-sets.
Zambrano, Pedro	Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types
Zubkov, Maxim	On categoricity of scattered linear orders

Disclaimer | Powered by EasyChair Smart Program