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

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662529201, 9783662529218
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Multi-type Calculus for Inquisitive Logic

2016 ◽  
pp. 215-233 ◽  
Author(s):  
Sabine Frittella ◽  
Giuseppe Greco ◽  
Alessandra Palmigiano ◽  
Fan Yang
Keyword(s):  
Inquisitive Logic

Justified Belief and the Topology of Evidence

2016 ◽  
pp. 83-103 ◽  
Author(s):  
Alexandru Baltag ◽  
Nick Bezhanishvili ◽  
Aybüke Özgün ◽  
Sonja Smets
Keyword(s):  
Justified Belief

scholarly journals A Logical Approach to Context-Specific Independence

2016 ◽  
pp. 165-182 ◽  
Author(s):  
Jukka Corander ◽  
Antti Hyttinen ◽  
Juha Kontinen ◽  
Johan Pensar ◽  
Jouko Väänänen
Keyword(s):  
Logical Approach ◽  
Context Specific

scholarly journals Categories: How I Learned to Stop Worrying and Love Two Sorts

2016 ◽  
pp. 145-164 ◽  
Author(s):  
Willem Conradie ◽  
Sabine Frittella ◽  
Alessandra Palmigiano ◽  
Michele Piazzai ◽  
Apostolos Tzimoulis ◽  
...  

scholarly journals On the Formalization of Some Results of Context-Free Language Theory

2016 ◽  
pp. 338-357 ◽  
Author(s):  
Marcus Vinícius Midena Ramos ◽  
Ruy J. G. B. de Queiroz ◽  
Nelma Moreira ◽  
José Carlos Bacelar Almeida
Keyword(s):  
Language Theory ◽  
Context Free Language ◽  
Context Free ◽  
Free Language
Load More ...
Sign in / Sign up

Export Citation Format

Share Document