Journals in DBLP

J. Log. Comput.
1997, volume: 7, number: 5

1. Domenico Saccà, Carlo Zaniolo
   Deterministic and Non-Deterministic Stable Models. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:5, pp:555-579 [Journal]
   
2. Hans Jürgen Ohlbach, Renate A. Schmidt
   Functional Translation and Second-Order Frame Properties of Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:5, pp:581-603 [Journal]
   
3. Hassan Bezzazi, David Makinson, Ramón Pino Pérez
   Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:5, pp:605-631 [Journal]
   
4. Ho Ngoc Duc
   Reasoning About Rational, But Not Logically Omniscient, Agents. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:5, pp:633-648 [Journal]
   
5. Rajeev Goré, Wolfgang Heinle, Alain Heuerding
   Relations Between Propositional Normal Modal Logics: An Overview. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:5, pp:649-658 [Journal]
   
6. Egon Börger, Peter H. Schmitt
   A Description of the Tableau Method Using Abstract State Machines. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:5, pp:659-681 [Journal]