|
Journals in DBLP
- Orna Kupferman
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:2, pp:135-147 [Journal]
- Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Fibring of Logics as a Categorial Construction. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:2, pp:149-179 [Journal]
- Zoran Ognjanovic, Miodrag Raskovic
Some Probability Logics with New Types of Probability Operators. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:2, pp:181-195 [Journal]
- Maarten Marx
Complexity of Products of Modal Logics. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:2, pp:197-214 [Journal]
- Hadassa Jakobovits, Dirk Vermeir
Robust Semantics for Argumentation Frameworks. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:2, pp:215-261 [Journal]
|