Journals in DBLP

J. Log. Comput.
2006, volume: 16, number: 5

1. Valentin B. Shehtman
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:539- [Journal]
   
2. Philippe Balbiani, Tinko Tinchev
   Definability Over the Class of all Partitions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:541-557 [Journal]
   
3. Jan Broersen, Andreas Herzig, Nicolas Troquard
   Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:559-578 [Journal]
   
4. Willem Conradie, Valentin Goranko, Dimiter Vakarelov
   Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:579-612 [Journal]
   
5. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
   Classificatory Aspects of Counts-as: An Analysis in Modal Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:613-643 [Journal]
   
6. Vladimir Krupski
   Reference Constructions in the Single-conclusion Proof Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:645-661 [Journal]
   
7. Ilya Mezhirov
   A Game Semantics for Grz. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:663-669 [Journal]
   
8. Natalia Rubtsova
   On Realization of S5-modality by Evidence Terms. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:671-684 [Journal]
   
9. Dmitrij P. Skvortsov
   On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:685-695 [Journal]
   
10. Tatiana Yavorskaya
    Logic of Proofs and Labels with a Complete Set of Operations. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:5, pp:697-710 [Journal]