Journals in DBLP

Studia Logica
1993, volume: 52, number: 2

1. Charles G. Morgan
   Introduction. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:181- [Journal]
   
2. Gordon Beavers
   Automated theorem proving for Lukasiewicz logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:183-196 [Journal]
   
3. Ricardo Caferra, Stéphane Demri, Michel Herment
   A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:197-232 [Journal]
   
4. Ian P. Gent
   Theory matrices (for modal logics) Using alphabetical monotonicity. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:233-258 [Journal]
   
5. Yue Jun Jiang
   A intensional epistemic logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:259-280 [Journal]
   
6. Arthur Buchsbaum, Tarcisio H. C. Pequeno
   A reasoning method for a paraconsistent logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:281-290 [Journal]
   
7. Francis Jeffry Pelletier
   Identity in modal logic theorem proving. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:291-308 [Journal]
   
8. Zbigniew Stachniak
   An essay on resolution logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:309-322 [Journal]
   
9. André Vellino
   The relative complexity of analytic tableaux and SL-resolution. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1993, v:52, n:2, pp:323-338 [Journal]