Volume 18, Number 1, 2008

• 
  J. Marcos: Possible-translations semantics for some weak classically-based paraconsistent logics. 7-28
• 
  Andrew Schumann: Non-Archimedean fuzzy and probability logic. 29-48
• 
  José M. Méndez, Gemma Robles: Relevance logics and intuitionistic negation. 49-65
• 
  Walter Hussak: The serializability problem for a temporal logic of transaction queries. 67-78
• 
  Zoran Majkic: Autoreferential semantics for many-valued modal logics. 79-125

Volume 18, Numbers 2-3, 2008

• 
  Philippe Balbiani: Hyper arrow logic with indiscernibility and complementarity. 137-152
• 
  Johan van Benthem, Denis Bonnay: Modal logic and invariance. 153-173
• 
  Willem Conradie, Valentin Goranko: Algorithmic correspondence and completeness in modal logic. 175-211
• 
  Ivo Düntsch, Ewa Orlowska: A discrete duality between apartness algebras and apartness frames. 213-227
• 
  G. Georgiev, Tinko Tinchev: Second-order logic on equivalence relations. 229-246
• 
  Ian Pratt-Hartmann: Conditionalization and total knowledge. 247-266
• 
  Mikhail N. Rybakov: Complexity of intuitionistic propositional logic and its fragments. 267-292
• 
  Vladimir V. Rybakov: Temporal logic with interacting agents. 293-308
• 
  V. Sotirov: Non-classical operations hidden in classical logic. 309-324
• 
  Andrzej Szalas: Towards incorporating background theories into quantifier elimination. 325-340
• 
  Heinrich Wansing: Constructive negation, implication, and co-implication. 341-364

last updated on Thu May 23 04:23:37 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page