2007

Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday

 

2019

At the intersection of language, logic, and information : ESSLLI 2018 Students Session, Sofia, Bulgaria, August 6-17, 2018. Selected papers

European Summer School in Logic, Language, and Information (30th : 2018 : Sofia, Bulgaria)

Berlin : Springer, [2019]

 

2010

Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes

Puppis, Gabriele



 

2010

Dependency structures and lexicalized grammars : an algebraic approach

Kuhlmann, Marco



 

2016

Descriptive set theoretic methods in automata theory : decidability and topological complexity

Skrzypczak, Michał, author

Berlin : Springer, 2016

 

2023

Dynamics in logic and language : third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1-4, 2022, revised selected papers

Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (3rd : 2022 : Online)

Cham : Springer, 2023

 

2011

Formal grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised selected papers

FG (Conference) (14th : 2009 : Bordeaux, France)



 

2014

Formal grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

FG (Conference) (19th : 2014 : Tübingen, Germany)

Heidelberg : Springer, 2014

 

2016

Formal grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers, FG 2016, Bozen, Italy, August 2016, proceedings

FG (Conference) (20th : 2015 : Barcelona, Spain)

Berlin : Springer, 2016

 

2019

Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings

FG (Conference) (24rd : 2019 : Riga, Latvia)

Berlin : Springer, [2019]

 

2018

Formal Grammar 2018 : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

FG (Conference) (23rd : 2018 : Sofia, Bulgaria)

Berlin, Germany : Springer, 2018

 

2012

Games, actions and social software : multidisciplinary aspects

 

2010

Interfaces : explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers

European Summer School in Logic, Language, and Information (20th : 2008 : Hamburg, Germany)



 

2011

Language, games, and evolution : trends in current research on language and game theory

 

2022

Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers

International Tbilisi Symposium on Logic, Language, and Computation (13th : 2019 : Batumi, Georgia)

Cham : Springer, 2022

 

2013

The language of mathematics : a linguistic and philosophical investigation

Ganesalingam, Mohan



 

2012

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes

European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)



 

2023

Logic and engineering of natural language semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised selected papers

LENLS (Workshop) (19th : 2022 : Tokyo, Japan)

Cham : Springer, 2023

 

2011

Logic and games on automatic structures : playing with quantifiers and decompositions

Kaiser, Łukasz.



 

2011

Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday

 

2017

Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

ICLA (Conference : Logic) (7th : 2017 : Kanpur, India)

Berlin, Germany : Springer, 2017

 

2019

Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

ICLA (Conference : Logic) (8th : 2019 : Delhi, India)

Berlin, Germany : Springer, 2019

 

2023

Logic and its applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings

ICLA (Conference : Logic) (10th : 2023 : Indore, India)

Cham, Switzerland : Springer, [2023]

 

2009

Logic and its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings

ICLA (Conference : Logic) (3rd : 2009 : Chennai, India)



 

2010

Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, the Netherlands, July 3-5, 2008 : revised selected papers

International Conference on Logic and the Foundations of Game and Decision Theory (8th : 2008 : Amsterdam, Netherlands)



 

2007

Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers

International Tbilisi Symposium on Logic, Language, and Computation (6th : 2005 : Batumi, Georgia)



 

2011

Logic, language, and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers

International Tbilisi Symposium on Logic, Language, and Computation (8th : 2009 : Tbilisi, Georgia)



 

2013

Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers

International Tbilisi Symposium on Logic, Language, and Computation (9th : 2011 : Kutaisi, Georgia)



 

2017

Logic, language, and computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers

International Tbilisi Symposium on Logic, Language, and Computation (11th : 2015 : Tʻbilisi, Georgia)

Berlin, Germany : Springer, 2017

 

2010

Logic, language and meaning : 17th Amsterdam Colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers

Amsterdam Colloquium (17th : 2009 : Universiteit van Amsterdam)



 

2012

Logic, language and meaning : 18th Amsterdam Colloquium, Amsterdam, the Netherlands, December 19-21, 2011, Revised selected papers

Amsterdam Colloquium (18th : 2011 : Universiteit van Amsterdam)



 

2010

Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings

Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Distrito Federal, Brazil)



 

2011

Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings

Workshop on Logic, Language, Information and Computation (18th : 2011 : Philadelphia, Pa.)



 

2012

Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)



 

2014

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings

Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile)

Heidelberg : Springer, [2014]

 

2016

Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Workshop on Logic, Language, Information and Computation (23rd : 2016 : Puebla, Mexico)

Berlin : Springer, 2016

 

2017

Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Workshop on Logic, Language, Information and Computation (24th : 2017 : London, England)

Berlin, Germany : Springer, 2017

 

2018

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Workshop on Logic, Language, Information and Computation (25th : 2018 : Bogotá, Colombia)

Berlin, Germany : Springer, 2018

 

2019

Logic, language, information, and computation : 26th International Workshop, WoLLIC 2019, Utrecht, the Netherlands, July 2-5, 2019, proceedings

Workshop on Logic, Language, Information and Computation (26th : 2019 : Utrecht, Netherlands)

Berlin, Germany : Springer, [2019]

 

2021

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

Workshop on Logic, Language, Information and Computation (27th : 2021 : Online)

Cham : Springer, [2021]

 

2022

Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings

Workshop on Logic, Language, Information and Computation (28th : 2022 : Iaşi, Romania)

Cham : Springer, 2022

 

2023

Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Workshop on Logic, Language, Information and Computation (29th : 2023 : Halifax, N.S.)

Cham : Springer, 2023

 

2012

The logic of categorial grammars : a deductive account of natural language syntax and semantics

Moot, Richard



 

2013

Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

LORI (Workshop) (4th : 2013 : Hangzhou, China)

Heidelberg : Springer, [2013]

 

2017

Logic, rationality, and interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

LORI (Workshop) (6th : 2017 : Sapporo-shi, Japan)

Berlin : Springer, 2017

 

2019

Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings

LORI (Workshop) (7th : 2019 : Chongqing, China)

Berlin, Germany : Springer, 2019

 

2021

Logic, rationality, and interaction : 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings

LORI (Workshop) (8th : 2021 : Xi'an Shi, China)

Cham, Switzerland : Springer, 2021

 

2023

Logic, rationality, and interaction : 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings

LORI (Workshop) (9th : 2023 : Jinan, China)

Cham : Springer, 2023

 

2011

Logical aspects of computational linguistics : 6th international conference, LACL 2011, Montpellier, France, June 29-July 1, 2011 : proceedings

LACL (Conference) (6th : 2011 : Montpellier, France)



 

2014

Logical aspects of computational linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

LACL (Conference) (8th : 2014 : Toulouse, France)

Heidelberg : Springer, 2014