Journals in DBLP

J. Log. Comput.
2005, volume: 15, number: 4

1. Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:409- [Journal]
   
2. Emil Jerábek
   Admissible Rules of Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:411-431 [Journal]
   
3. Arnold Beckmann
   Uniform Proof Complexity. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:433-446 [Journal]
   
4. Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort
   A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:447-463 [Journal]
   
5. Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
   An Iterative Framework for Simulation Conformance. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:465-488 [Journal]
   
6. Rosalie Iemhoff
   A Note on Linear Kripke Models. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:489-506 [Journal]
   
7. Sebastiaan Terwijn
   Probabilistic Logic and Induction. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:507-515 [Journal]
   
8. Tatiana Yavorskaya
   Negative Operations on Proofs and Labels. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:517-537 [Journal]
   
9. Rostislav Yavorskiy
   On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:4, pp:539-549 [Journal]
   
10. Christian Schallhart, Luca Trevisan
    Approximating Succinct MaxSat. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:4, pp:551-557 [Journal]
    
11. Ilya Shapirovsky, Valentin B. Shehtman
    Modal Logics of Regions and Minkowski Spacetime. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:4, pp:559-574 [Journal]