Volume 16, Number 1-2, 2006

• 
  Kamal Aboul-Hosn, Dexter Kozen: KAT-ML: an interactive theorem prover for Kleene algebra with tests. 9-34
• 
  Tomi Janhunen: Some (in)translatability results for normal logic programs and propositional theories. 35-86
• 
  Patrick Doherty, Martin Magnusson, Andrzej Szalas: Approximate databases: a support tool for approximate reasoning. 87-118
• 
  Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine: SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. 119-150
• 
  Mircea Marin, Temur Kutsia: Foundations of the rule-based system rLog. 151-168
• 
  Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-based decision procedures for the modal logic K. 169-208
• 
  Tobias Schmidt-Samoa: Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. 209-239

Volume 16, Numbers 3-4, 2006

• 
  Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska: Relational dual tableaux for interval temporal logics. 251-278
• 
  Willem Conradie: On the strength and scope of DLS. 279-296
• 
  Giovanna D'Agostino, Giacomo Lenzi, Tim French: µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. 297-310
• 
  Stéphane Demri: Linear-time temporal logics with Presburger constraints: an overview. 311-348
• 
  Leo Esakia: The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic. 349-366
• 
  Andrea Formisano, Marianna Nicolosi Asmundo: An efficient relational deductive system for propositional non-classical logics. 367-408
• 
  Joanna Golinska-Pilarek, Ewa Orlowska: Relational proof systems for spatial reasoning. 409-432
• 
  Angelo Montanari, Adriano Peron, Gabriele Puppis: On the relationships between theories of time granularity and the monadic second-order theory of one successor. 433-456
• 
  Dito Pataraia: Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras. 457-484
• 
  Anna Maria Radzikowska: Fuzzy modal-like approximation operators based on double residuated lattices. 485-506
• 
  P. Schreiner: Automatic checking properties of non-classical logics. 507-516
• 
  Andrzej Szalas: Second-order reasoning in description logics. 517-530

last updated on Wed May 22 05:51:01 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page