Logic, Language, Information, and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 41)

H-INDEX

2

(FIVE YEARS 2)

Published By Springer Berlin Heidelberg

9783662595329, 9783662595336

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bar Induction and Restricted Classical Logic

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_15 ◽

2019 ◽

pp. 236-247 ◽

Author(s):

Makoto Fujiwara

Keyword(s):

Classical Logic

Download Full-text

Bar-Hillel Theorem Mechanization in Coq

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_17 ◽

2019 ◽

pp. 264-281

Author(s):

Sergey Bozhko ◽

Leyla Khatbullina ◽

Semyon Grigorev

Download Full-text

A Self-contained Provability Calculus for $$\varGamma _0$$

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_12 ◽

2019 ◽

pp. 195-207

Author(s):

David Fernández-Duque ◽

Eduardo Hermo-Reyes

Download Full-text

Descriptive Complexity of Deterministic Polylogarithmic Time

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_13 ◽

2019 ◽

pp. 208-222 ◽

Author(s):

Flavio Ferrarotti ◽

Senén González ◽

José María Turull Torres ◽

Jan Van den Bussche ◽

Jonni Virtema

Keyword(s):

Descriptive Complexity

Download Full-text

Uniform Labelled Calculi for Conditional and Counterfactual Logics

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_16 ◽

2019 ◽

pp. 248-263

Author(s):

Marianna Girlando ◽

Sara Negri ◽

Giorgio Sbardolini

Download Full-text

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_3 ◽

2019 ◽

pp. 35-52

Author(s):

Nick Bezhanishvili ◽

Gianluca Grilletti ◽

Wesley H. Holliday

Keyword(s):

Topological Semantics ◽

Inquisitive Logic

Download Full-text

Correction to: Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_41 ◽

2019 ◽

pp. C1-C1

Author(s):

Nick Bezhanishvili ◽

Gianluca Grilletti ◽

Wesley H. Holliday

Keyword(s):

Topological Semantics ◽

Inquisitive Logic

Download Full-text

The Multiresolution Analysis of Flow Graphs

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_20 ◽

2019 ◽

pp. 323-341 ◽

Author(s):

Steve Huntsman

Keyword(s):

Multiresolution Analysis ◽

Download Full-text

Non Normal Logics: Semantic Analysis and Proof Theory

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_7 ◽

2019 ◽

pp. 99-118 ◽

Author(s):

Jinsheng Chen ◽

Giuseppe Greco ◽

Alessandra Palmigiano ◽

Apostolos Tzimoulis

Keyword(s):

Proof Theory ◽

Semantic Analysis

Download Full-text

The One-Variable Fragment of Corsi Logic

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-59533-6_5 ◽

2019 ◽

pp. 70-83 ◽

Author(s):

Xavier Caicedo ◽

George Metcalfe ◽

Ricardo Rodríguez ◽

Olim Tuyt

Keyword(s):

Download Full-text