Logical Foundations of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319276823, 9783319276830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ogden Property for Linear Displacement Context-Free Grammars

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_26 ◽

2015 ◽

pp. 376-391 ◽

Author(s):

Alexey Sorokin

Keyword(s):

Linear Displacement ◽

Context Free ◽

Context Free Grammars

Download Full-text

Levy Labels and Recursive Types

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_27 ◽

2015 ◽

pp. 392-406

Author(s):

Rick Statman

Download Full-text

Interpolation Method for Multicomponent Sequent Calculi

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_15 ◽

2015 ◽

pp. 202-218 ◽

Author(s):

Roman Kuznets

Keyword(s):

Interpolation Method ◽

Sequent Calculi

Download Full-text

Compactness in the Theory of Continuous Automata

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_18 ◽

2015 ◽

pp. 251-266

Author(s):

Scott Messick

Download Full-text

Modal Logics with Hard Diamond-Free Fragments

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_1 ◽

2015 ◽

pp. 1-13 ◽

Author(s):

Antonis Achilleos

Keyword(s):

Download Full-text

Index Sets for Finite Normal Predicate Logic Programs with Function Symbols

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_5 ◽

2015 ◽

pp. 60-75 ◽

Author(s):

Douglas Cenzer ◽

Victor W. Marek ◽

Jeffrey B. Remmel

Keyword(s):

Predicate Logic ◽

Logic Programs ◽

Download Full-text

Augmenting Subset Spaces to Cope with Multi-agent Knowledge

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_10 ◽

2015 ◽

pp. 130-145 ◽

Author(s):

Bernhard Heinemann

Keyword(s):

Multi Agent ◽

Agent Knowledge

Download Full-text

Multiple Conclusion Rules in Logics with the Disjunction Property

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_6 ◽

2015 ◽

pp. 76-89

Author(s):

Alex Citkin

Keyword(s):

Disjunction Property

Download Full-text

Sequent Calculus for Intuitionistic Epistemic Logic IEL

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_14 ◽

2015 ◽

pp. 187-201 ◽

Author(s):

Vladimir N. Krupski ◽

Alexey Yatmanov

Keyword(s):

Epistemic Logic ◽

Sequent Calculus

Download Full-text

A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27683-0_20 ◽

2015 ◽

pp. 283-298 ◽

Author(s):

Shoshin Nomura ◽

Hiroakira Ono ◽

Katsuhiko Sano

Keyword(s):

Epistemic Logic ◽

Sequent Calculus ◽

Dynamic Epistemic Logic ◽

Labelled Sequent Calculus

Download Full-text