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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642399916, 9783642399923
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Structural Extensions of Display Calculi: A General Recipe

2013 ◽  
pp. 81-95 ◽  
Author(s):  
Agata Ciabattoni ◽  
Revantha Ramanayake
Keyword(s):  
Display Calculi

scholarly journals A Finite Model Property for Gödel Modal Logics

2013 ◽  
pp. 226-237 ◽  
Author(s):  
Xavier Caicedo ◽  
George Metcalfe ◽  
Ricardo Rodríguez ◽  
Jonas Rogger
Keyword(s):  
Modal Logics ◽  
Finite Model ◽  
Model Property ◽  
Finite Model Property

A Simple Separation Logic

2013 ◽  
pp. 168-178 ◽  
Author(s):  
Andreas Herzig
Keyword(s):  
Separation Logic

Extended Modal Dependence Logic $\mathcal{EMDL}$

2013 ◽  
pp. 126-137 ◽  
Author(s):  
Johannes Ebbing ◽  
Lauri Hella ◽  
Arne Meier ◽  
Julian-Steffen Müller ◽  
Jonni Virtema ◽  
...  
Keyword(s):  
Dependence Logic

scholarly journals Boolean Dependence Logic and Partially-Ordered Connectives

2013 ◽  
pp. 111-125 ◽  
Author(s):  
Johannes Ebbing ◽  
Lauri Hella ◽  
Peter Lohmann ◽  
Jonni Virtema
Keyword(s):  
Dependence Logic ◽  
Partially Ordered

scholarly journals Continuous Truth II: Reflections

2013 ◽  
pp. 153-167
Author(s):  
Michael P. Fourman
Load More ...
Sign in / Sign up

Export Citation Format

Share Document