LC 2017: LOGIC COLLOQUIUM 2017

A
Afshari, Bahareh	Cut-free completeness for modal mu-calculus Interpolation for modal mu-calculus
Ahlman, Ove	Easy and hard homogenizable structures
Akçelik, Oğuz	A Decision Procedure Model for Finding the Missing Premise in Automated Reasoning
Aleksandrova, Svetlana	On computability in hereditarily finite superstructures and computable analysis
Arazim, Pavel	Logical dynamism as a way of understanding plurality of logics
Arndt, Michael	Tomographs for Substructural Display Logic
Artemov, Sergei	On completeness of epistemic theories
Aspero, David	Generic absoluteness for Chang models
B
Baghdasaryan, Ashot	On Some Systems of Minimal Propositional Logic with History Mechanism
Baizhanov, Sayan	On preserving properties under expanding models of quite o-minimal theories
Bays, Martin	Definability in the group of infinitesimal rotations
Bazhenov, Nikolay	Weakly precomplete dark computably enumerable equivalence relations Rogers semilattices in analytical hierarchy Computable bi-embeddable categoricity of equivalence relations
Becher, Verónica	Normal Numbers, Logic and Automata Irrationality Exponents and Effective Hausdorff Dimension
Benevides, Mario	Propositional Dynamic Logic for Bisimilar programs with Parallel Operator and Test
Bentzen, Bruno	A solution to Frege's puzzle in Homotopy Type Theory
Berarducci, Alessandro	Surreal differential calculus
Berry, Hannah	Brentano and Frege: The tunnel between analytic and continental theories of language with intentional inexistence and the judgement stroke.
Bertran-San Millán, Joan	Frege's Begriffsschrift and logicism
Bessonov, Alexandr	G\"odel's second incompleteness theorem cannot be used as an argument against Hilbert's program
Bielas, Krzysztof	Boolean-valued models of ZFC and forcing in geometry and physics
Bjørdal, Frode A.	Volutionary deliberations
Blanco, José M.	Routley-Meyer semantics for natural implicative expansions of Kleene's strong three-valued matrix
Blasio, Carolina	Monotonic functions are logically four-valued
Block, Alexander C.	Maddian interpretations and their derived notions of restrictiveness
Bobbio, Federico	A plausibility model for regret games
Boger, George	Meanings of contradicts.
Bolibekyan, Hovhannes	On Some Systems of Minimal Propositional Logic with History Mechanism
Bottazzi, Emanuele	Describing limits of bounded sequences of measurable functions via nonstandard analysis.
Bouscaren, Elisabeth	A stroll through some important notions of model theory and their applications in geometry
Bouyer, Patricia	On the verification of timed systems – and beyond (1/3) On the verification of timed systems – and beyond (3/3) On the verification of timed systems – and beyond (2/3)
Brech, Christina	Families on large index sets and applications to Banach spaces
Bärtschi, Michael	Arithmetical transfinite Recursion and Relatives
C
Carlucci, Lorenzo	Some Weak Yet Strong restrictions of Hindman's Theorem
Casanovas, Enrique	Universal theories and compactly expandable models
Chen, William	Negative partition relations from cardinal invariants
Chubaryan, Anahit	Propositional sequent systems of two valued classical logic and many valued logics are no monotonous. On proof complexities for some classes of tautologies in Frege systems Application of Kalmar's proof of deducibility in two valued propositional logic for many valued logic.
Cody, Brent	Adding a non-reflecting weakly compact set
Coquand, Thierry	Sheaf models of type theory
Corcoran, John	Meanings of statement, proposition, and sentence. Teaching universalized-conditionals and Hazen’s Theorem. Meanings of contradicts.
Cordón-Franco, Andrés	On local induction rules: collapse and conservation properties
Cui, Jianying	A plausibility model for regret games
D
de Paiva, Valeria	Benchmarking Linear Logic
Ding, Longyun	On decomposing Borel functions
Drobyshevich, Sergey	Investigating some effects of display property
E
Ehrlich, Philip	Are points (necessarily) unextended?
Emelyanov, Dmitry	On algebras of distributions for binary formulas of quite o-minimal theories with non-maximum many countable models
Espindola, Christian	Stone duality for infinitary first-order logic
Estrada-González, Luis	Connectives as relative modalities How could a logician help solving the P =? NP problem? When Curry met Abel
F
Faber, Eric	Names in Topos Theory
Fan, Tuan-Fang	Dynamic Belief Logic Based on Evidential Observation
Fernández-Duque, David	Caristi's fixed point theorem and strong systems of arithmetic
Ferreira, Fernando	A herbrandized functional interpretation of classical first-order logic
Fokina, Ekaterina	Computable bi-embeddable categoricity of equivalence relations
Formica, Giambattista	On Hilbert’s Axiomatic Method
Freund, Anton	Type-Two Well-Ordering Principles and Pi^1_1-Comprehension
Friend, Michèle	Reasoning abhorrently
Fuchino, Sakaé	Set-theoretic reflection of mathematical properties
G
García-Cruz, José David	Connectives as relative modalities
Garner, Richard	Polynomials and theories
Ghadernezhad, Zaniar	Non-amenablility of automorphism groups of generic structures
Gherke, Mai	Stone duality and applications in computer science (2/3) Stone duality and applications in computer science (3/3) Stone duality and applications in computer science (1/3)
Glivická, Jana	Nonstandard methods and construction of models of arithmetics
Godziszewski, Michał Tomasz	Refuting 'Converse to Tarski' Conjecture Computable quotient presentations of models of arithmetic and set theory
Gomez-Ramirez, Danny De Jesus	Dathematics: a meta-isomorphic version of classic mathematics based on proper classes
Goranko, Valentin	Compositional vs game-theoretic semantics for alternating-time temporal Logics
Gorbow, Paul	Algebraic new foundations
Graves, Henson	Topos Theory For Descriptive Modeling
H
Hamkins, Joel David	Computable quotient presentations of models of arithmetic and set theory
Hella, Lauri	Formula size games for modal logics
Hirschfeldt, Denis	Computability theory and asymptotic density
Hirvonen, Åsa	On Approximations and Eigenvectors - looking at Quantum Physics via Metric Ultraproducts
Hodges, Wilfrid	Avicenna sets up a modal logic with a Kripke semantics How far did Avicenna get with propositional logic?
Honzik, Radek	The tree property at the double successor of a singular cardinal
I
Ibarlucía, Tomás	Model theory of strongly ergodic actions
Ikeda, Koichiro	A note on small stable theories
Ilic, Mirjana	A normalizing system of natural deduction for relevant logic
Incurvati, Luca	Maddian interpretations and their derived notions of restrictiveness
Issakhov, Assylbek	Hyperimmunity and $A$--computable numberings
J
Jahnke, Franziska	NIP fields and henselianity
Jeandel, Emmanuel	Reducibilities and Higman-like theorems in symbolic dynamics
Jeřábek, Emil	Counting in weak theories
Johannesson, Eric	When one must strengthen one's induction hypothesis
Jones, Alexander	Truth as a Logical Property
Joyal, André	On some categorical aspects of homotopy type theory
Jäger, Gerhard	On some fixed point statements over Kripke Platek
K
Kabylzhanova, Diana	A note on computably enumerable preorders
Kalmurzayev, Birzhan	Weakly precomplete dark computably enumerable equivalence relations
Kanckos, Annika	Strong Normalization for Simply Typed Lambda Calculus
Kanovei, Vladimir	The full basis theorem does not imply analytic wellordering
Karabakhtyan, Arman	Propositional sequent systems of two valued classical logic and many valued logics are no monotonous.
Kennedy, Juliette	Squeezing arguments and strong logics
Khamisyan, Artur	Application of Kalmar's proof of deducibility in two valued propositional logic for many valued logic.
Khomskii, Yurii	Definable Maximal Independent Families
Kimchi, Yechiel M.	Partition relations equiconsistent with $o(o(\ldots o(\kappa)\ldots)) = 2$
Klimasara, Paweł	Boolean-valued models of ZFC and forcing in geometry and physics
Kolaitis, Phokion	Schema mappings: structural properties and limits
Kolodziejczyk, Leszek	Some new bounds on the strength of restricted versions of Hindman's Theorem
Korneeva, Natalia	On prefix realizability problems of infinite words for natural subsets of context-free languages
Koutsoukou-Argyraki, Angeliki	An invitation to proof mining: two applications in nonlinear operator theory
Król, Jerzy	Boolean-valued models of ZFC and forcing in geometry and physics
Kulpeshov, Beibut	On algebras of distributions for binary formulas of quite o-minimal theories with non-maximum many countable models On preserving properties under expanding models of quite o-minimal theories On distributions for countable models of quite o-minimal theories with non-maximum many countable models
Kumar, Ashutosh	Transversal of full outer measure
Kurahashi, Taishi	Two theorems on provability logics
Kuusisto, Antti	Compositional vs game-theoretic semantics for alternating-time temporal Logics
L
Laguzzi, Giorgio	Infinite utility streams and irregular sets
Lara-Martín, F. Félix	On local induction rules: collapse and conservation properties
Lefanu Lumsdaine, Peter	Discussions following the Category theory and type theory session
Leigh, Graham	Cut-free completeness for modal mu-calculus
Liau, Churn-Jung	Dynamic Belief Logic Based on Evidential Observation
Lieberman, Michael	Set-theoretic pathologies in accessible categories
Liefke, Kristina	A computable solution to Partee's puzzle
Loukanova, Roussanka	Type Theory of Restricted Algorithms and Neural Networks
Lubarsky, Robert	Determinacy of Boolean combinations of $\Sigma^0_3$ games
Lundstedt, Anders	When one must strengthen one's induction hypothesis
Luosto, Kerkko	Logical co-operation in multiplayer games
Lupkowski, Pawel	(Dynamic) epistemic interpretation for erotetic search scenarios
López, Sandra M.	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix
Löwe, Benedikt	Maddian interpretations and their derived notions of restrictiveness
M
Maieli, Roberto	Non-decomposable connectives of Linear Logic
Majer, Ondrej	(Dynamic) epistemic interpretation for erotetic search scenarios
Mantova, Vincenzo	Transseries as surreal analytic functions
Marcone, Alberto	Strongly surjective linear orders
Marcos, Joao	Monotonic functions are logically four-valued
Martin-Löf, Per	Assertion and request
Martínez, Juan Carlos	On pcf spaces which are not Fréchet-Urysohn
Masoud, Hassan	Teaching universalized-conditionals and Hazen’s Theorem.
Meer, Klaus	Generalized Finite Automata over the Real Numbers
Miller, Russell	Topology of isomorphism types of countable structures
Mirek, Ryszard	Euclidean Geometry in Renaissance
Mofidi, Alireza	Some VC-combinatorial aspects of definable set systems
Montalbán, Antonio	Canonical aspects of reflection principles
Moss, Sean	The Diller-Nahm model of type theory
Mueller-Theys, Joachim	On the Provability of Consistency
Méndez, José M.	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix
N
Naif, Ameen	Generalized Finite Automata over the Real Numbers
Nalbandyan, Hakob	Propositional sequent systems of two valued classical logic and many valued logics are no monotonous.
Natarajan, Raja	Diagrammatic Reasoning for Boolean Equations
Neeman, Itay	Happy and mad families
Negri, Sara	Reasoning with counterfactual scenarios: from models to proofs
Nenchev, Vladislav	Definability between temporal relations in dynamic mereology
Nogina, Elena	On completeness of epistemic theories
Normann, Dag	Nonstandard Analysis, Computability Theory, and metastbility
Norwood, Zach	Happy and mad families
O
Oms, Sergi	The Notion of Paradox
Oner, Tahsin	An Analysis of Peterson's Intermediate Syllogisms with Caroll's Diagrammatic Method
Ospichev, Sergey	Rogers semilattices in analytical hierarchy
P
Pakhomov, Fedor	Gödel's second incompleteness theorem from scratch
Palmgren, Erik	Discussions following the Category theory and type theory session
Parente, Francesco	Keisler's order via Boolean ultrapowers
Parlamento, Franco	On the Admissibility of the Structural Rules in Kanger's Calculus with Restricted Equality Rules
Pauly, Arno	Applications of computability theory in topology
Pelis, Michal	(Dynamic) epistemic interpretation for erotetic search scenarios
Pequignot, Yann	Countable Borel chromatic numbers and Sigma^1_2 sets
Pereira, Luiz Carlos	Ecumenism: a new perspective on the relation between logics.
Petrosyan, Garik	Propositional sequent systems of two valued classical logic and many valued logics are no monotonous. On proof complexities for some classes of tautologies in Frege systems
Piecha, Thomas	Intuitionistic logic is not complete for standard proof-theoretic semantics
Pinto, Pedro	A quantitative analysis of a theorem by F.E.Browder guided by the bounded functional interpretation
Potemkin, Serge	EXPRESSING NATURAL LANGUAGE SEMANTICS IN PROLOG
Prawitz, Dag	Gentzen's justification of inferences and the ecumenical systems
Previale, Flavio	On the Admissibility of the Structural Rules in Kanger's Calculus with Restricted Equality Rules
Puncochar, Vit	Uniform Substitution and Replacement of Equivalents
R
Rakymzhankyzy, Fariza	Hyperimmunity and $A$--computable numberings
Recio, Marcos M.	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix
Reimann, Jan	Irrationality Exponents and Effective Hausdorff Dimension
Reis, Giselle	Benchmarking Linear Logic
Rivello, Edoardo	On extending the general recursion theorem to non-wellfounded relations
Rizza, Davide	How to make an infinite decision
Robles, Gemma	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix Routley-Meyer semantics for natural implicative expansions of Kleene's strong three-valued matrix
Rodin, Andrei	Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective.
Rodriguez, Ricardo	Ecumenism: a new perspective on the relation between logics.
Rosicky, Jiri	Set-theoretic pathologies in accessible categories
Rossegger, Dino	Computable bi-embeddable categoricity of equivalence relations
Rönnholm, Raine	Compositional vs game-theoretic semantics for alternating-time temporal Logics
S
Salto, Francisco	Routley-Meyer semantics for natural implicative expansions of Kleene's strong three-valued matrix
Samonek, Aleksandra	Relation algebras, representability and relevant logics
San Mauro, Luca	Computable bi-embeddable categoricity of equivalence relations
Sanders, Sam	Nonstandard Analysis, Computability Theory, and metastbility A computable solution to Partee's puzzle
Sato, Kentaro	Inductive Dichotomy and Determinacy of Difference Hierarchya
Saveliev, Denis I.	Systems of propositions referring to each other: a model-theoretic view Defining modal logics of relations between models
Sbardolini, Giorgio	The Semanticist's Guide to Ramification
Schrittesser, David	Compactness of maximal eventually different families
Schroeder-Heister, Peter	Intuitionistic logic is not complete for standard proof-theoretic semantics
Setzer, Anton	The extended predicative Mahlo Universe in Explicit Mathematics - model construction
Shafer, Paul	Caristi's fixed point theorem and strong systems of arithmetic
Shapirovsky, Ilya	Defining modal logics of relations between models
Shelah, Saharon	Universal theories and compactly expandable models
Shenefelt, Michael	Why Does Formal Deductive Logic Start With the Classical Greeks?
Simon, Pierre	Recent directions in model theory
Sipos, Andrei	Proof mining in convex optimization
Slaman, Theodore	Irrationality Exponents and Effective Hausdorff Dimension
Smets, Sonja	The Logical basis of a formal epistemology for social networks
Solares-Rojas, Alejandro	How could a logician help solving the P =? NP problem?
Soskova, Alexandra	Structural properties of the cototal enumeration degrees
Soskova, Mariya	Characterizing the continuous degrees
Spada, Luca	Łukasiewicz logic, with coefficients
Stafford, William	Genus of proofs as a measure of complexity
Steila, Silvia	On some fixed point statements over Kripke Platek
Stejskalova, Sarka	The tree property at $\aleph_{\omega+2}$ with a finite gap
Stepanov, Vladimir	Revealing the 4D vector space within disquotational truth theory for self-reference statements
Sudoplatov, Sergey	On algebras of distributions for binary formulas of quite o-minimal theories with non-maximum many countable models On distributions for countable models of quite o-minimal theories with non-maximum many countable models
Surowik, Dariusz	Intuitionistic tense logic. Some remarks.
Sziraki, Dorottya	Open colorings on generalized Baire spaces
T
Takahashi, Yuta	A Proof-Theoretic Semantics for Disjunction
Tapia, Manuel	When Curry met Abel
Thomas, Wolfgang	Determinacy of Infinite Games: Perspectives of the Algorithmic Approach
Tomasic, Ivan	Enriching our view of model theory of fields with operators
Towsner, Henry	Caristi's fixed point theorem and strong systems of arithmetic
Tsai, Hsing-Chien	On the Decidability of Mereological Theories with Local Complementation
U
Uhlenbrock, Sandra	The hereditarily ordinal definable sets in inner models with finitely many Woodin cardinals
Unterhuber, Matthias	Negative Properties in First-Degree Entailment with Constructible Negation and an Extensional Semantics
Urbanski, Mariusz	(Dynamic) epistemic interpretation for erotetic search scenarios
V
van den Berg, Benno	Models of set theory in path categories
Vasey, Sebastien	Set-theoretic pathologies in accessible categories
Vilander, Miikka	Formula size games for modal logics
Vladimirov, Alexey	Effectivity proprties of Intuitionistic Zermelo-Fraenkel Set Theory with DCS principle.
Voevodsky, Vladimir	Models, Interpretations and the Initiallity Conjectures.
von Plato, Jan	Gödel's reading of Gentzen's first consistency proof for arithmetic
W
Walsh, James	Canonical aspects of reflection principles
Wang, Wei	On the computability of perfect subsets of sets with positive measure
Wansing, Heinrich	Monotonic functions are logically four-valued
Wcisło, Bartosz	Remarks on satisfaction classes and recursive saturation
Weiermann, Andreas	On generalized Goodstein sequences
Weitkämper, Felix Q.	Constructing and classifying stability-preserving substructures
Wencel, Roman	Definable connectedness and definable compactness in the weakly o-minimal context
White, Heidi	Why Does Formal Deductive Logic Start With the Classical Greeks?
Wu, Hanwen	Multirole Logic
X
Xi, Hongwei	Multirole Logic
Y
Yamaleev, Mars M.	Rogers semilattices in analytical hierarchy
Yamasaki, Susumu	A modal operator in multi-modal mu-calculus and induced semiring structure
Yeshkeev, Aibat	Some properties of central types for EPSCJ theories
Yi, Byeong-Uk	Plural Categoricals and Squares of Opposition
Yokoyama, Keita	On the first-order strength of Ramsey's theorem in reverse mathematics Caristi's fixed point theorem and strong systems of arithmetic
Z
Zainetdinov, Damir	Limitwise monotonic reducibility between sequences of sets and Sigma-definability of abelian groups
Zambak, Aziz Fevzi	A Decision Procedure Model for Finding the Missing Premise in Automated Reasoning
Zhang, Jing	A polarized partition theorem for large saturated linear orders
Zubkov, Maxim	On the Kierstead's conjecture
Ø
Øhrstrøm, Peter	The Rise of Temporal Logic
Ł
Łełyk, Mateusz	Reflection principles, bounded induction and axiomatic truth theories.
Ş
Şentürk, İbrahim	An Analysis of Peterson's Intermediate Syllogisms with Caroll's Diagrammatic Method

Disclaimer | Powered by EasyChair Smart Program