Conferences in DBLP

Logical Foundations of Computer Science (LFCS) (lfcs)
2009 (conf/lfcs/2009)

1. 
   Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. [Citation Graph (, )][DBLP]
   
   
2. 
   Completeness Results for Memory Logics. [Citation Graph (, )][DBLP]
   
   
3. 
   Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. [Citation Graph (, )][DBLP]
   
   
4. 
   Temporalization of Probabilistic Propositional Logic. [Citation Graph (, )][DBLP]
   
   
5. 
   Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings. [Citation Graph (, )][DBLP]
   
   
6. 
   The Logic of Proofs as a Foundation for Certifying Mobile Computation. [Citation Graph (, )][DBLP]
   
   
7. 
   ATL with Strategy Contexts and Bounded Memory. [Citation Graph (, )][DBLP]
   
   
8. 
   A Relational Model of a Parallel and Non-deterministic lambda-Calculus. [Citation Graph (, )][DBLP]
   
   
9. 
   The NP-Completeness of Reflected Fragments of Justification Logics. [Citation Graph (, )][DBLP]
   
   
10. 
    Taming Modal Impredicativity: Superlazy Reduction. [Citation Graph (, )][DBLP]
    
    
11. 
    Positive Fork Graph Calculus. [Citation Graph (, )][DBLP]
    
    
12. 
    Games on Strings with a Limited Order Relation. [Citation Graph (, )][DBLP]
    
    
13. 
    Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. [Citation Graph (, )][DBLP]
    
    
14. 
    Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. [Citation Graph (, )][DBLP]
    
    
15. 
    A Clausal Approach to Proof Analysis in Second-Order Logic. [Citation Graph (, )][DBLP]
    
    
16. 
    Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. [Citation Graph (, )][DBLP]
    
    
17. 
    Light Linear Logic with Controlled Weakening. [Citation Graph (, )][DBLP]
    
    
18. 
    Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. [Citation Graph (, )][DBLP]
    
    
19. 
    Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. [Citation Graph (, )][DBLP]
    
    
20. 
    Tableaux and Hypersequents for Justification Logic. [Citation Graph (, )][DBLP]
    
    
21. 
    Topological Forcing Semantics with Settling. [Citation Graph (, )][DBLP]
    
    
22. 
    Automata and Answer Set Programming. [Citation Graph (, )][DBLP]
    
    
23. 
    A Labeled Natural Deduction System for a Fragment of CTL*. [Citation Graph (, )][DBLP]
    
    
24. 
    Conservativity for Logics of Justified Belief. [Citation Graph (, )][DBLP]
    
    
25. 
    Unifying Sets and Programs via Dependent Types. [Citation Graph (, )][DBLP]
    
    
26. 
    Product-Free Lambek Calculus Is NP-Complete. [Citation Graph (, )][DBLP]
    
    
27. 
    Games on Multi-stack Pushdown Systems. [Citation Graph (, )][DBLP]
    
    
28. 
    Data Privacy for Knowledge Bases. [Citation Graph (, )][DBLP]
    
    
29. 
    Fixed Point Theorems on Partial Randomness. [Citation Graph (, )][DBLP]
    
    
30. 
    Decidability and Undecidability in Probability Logic. [Citation Graph (, )][DBLP]
    
    
31. 
    A Bialgebraic Approach to Automata and Formal Language Theory. [Citation Graph (, )][DBLP]