Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2010, volume: 262, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. [Citation Graph (, )][DBLP]
   
   
3. 
   A Tableau Method for Checking Rule Admissibility in S4. [Citation Graph (, )][DBLP]
   
   
4. 
   Controller/Orchestrator Synthesis via Filtration. [Citation Graph (, )][DBLP]
   
   
5. 
   A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. [Citation Graph (, )][DBLP]
   
   
6. 
   Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. [Citation Graph (, )][DBLP]
   
   
7. 
   Two Ways to Common Knowledge. [Citation Graph (, )][DBLP]
   
   
8. 
   A Solver for Modal Fixpoint Logics. [Citation Graph (, )][DBLP]
   
   
9. 
   Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Spartacus: A Tableau Prover for Hybrid Logic. [Citation Graph (, )][DBLP]
    
    
11. 
    Terminating Tableaux for Dynamic Epistemic Logics. [Citation Graph (, )][DBLP]
    
    
12. 
    Optimizing Conditional Logic Reasoning within CoLoSS. [Citation Graph (, )][DBLP]
    
    
13. 
    Monadic Sigma¹₁ and Modal Logic with Quantified Binary Relations. [Citation Graph (, )][DBLP]
    
    
14. 
    A History of Until. [Citation Graph (, )][DBLP]
    
    
15. 
    Embedding Constructive K into Intuitionistic K. [Citation Graph (, )][DBLP]
    
    
16. 
    Simulation and Synthesis of Deduction Calculi. [Citation Graph (, )][DBLP]
    
    
17. 
    Coalition Description Logic with Individuals. [Citation Graph (, )][DBLP]
    
    
18. 
    OOPS: An S5_n Prover for Educational Settings. [Citation Graph (, )][DBLP]