Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662540688, 9783662540695

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Peirce’s Sequent Proofs of Distributivity

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_13 ◽

2016 ◽

pp. 168-182 ◽

Author(s):

Minghui Ma ◽

Ahti-Veikko Pietarinen

Download Full-text

Neighbourhood Contingency Bisimulation

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_5 ◽

2016 ◽

pp. 48-63 ◽

Author(s):

Zeinab Bakhtiari ◽

Hans van Ditmarsch ◽

Helle Hvid Hansen

Download Full-text

Ancient Indian Logic and Analogy

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_15 ◽

2016 ◽

pp. 198-210 ◽

Author(s):

Jeff B. Paris ◽

Alena Vencovská

Keyword(s):

Download Full-text

Knowing Values and Public Inspection

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_7 ◽

2016 ◽

pp. 77-90 ◽

Author(s):

Jan van Eijck ◽

Malvin Gattinger ◽

Yanjing Wang

Download Full-text

Achieving While Maintaining:

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_12 ◽

2016 ◽

pp. 154-167 ◽

Author(s):

Yanjun Li ◽

Yanjing Wang

Download Full-text

Automata, Logic and Games for the $$\lambda $$ -Calculus

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_3 ◽

2016 ◽

pp. 23-26

Author(s):

C.-H. Luke Ong

Keyword(s):

Lambda Calculus

Download Full-text

The Complexity of Finding Read-Once NAE-Resolution Refutations

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_6 ◽

2016 ◽

pp. 64-76

Author(s):

Hans Kleine Büning ◽

Piotr Wojciechowski ◽

K. Subramani

Download Full-text

Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_17 ◽

2016 ◽

pp. 224-238 ◽

Author(s):

Przemysław Andrzej Wałęga

Keyword(s):

Computational Complexity ◽

Download Full-text

On Semantic Gamification

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_14 ◽

2016 ◽

pp. 183-197

Author(s):

Ignacio Ojea Quintana

Download Full-text

A Semantic Analysis of Stone and Dual Stone Negations with Regularity

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_11 ◽

2016 ◽

pp. 139-153 ◽

Author(s):

Arun Kumar ◽

Mohua Banerjee

Keyword(s):

Semantic Analysis

Download Full-text