Logic Journal of the IGPL, Volume 7, 1999

Volume 7, Number 1, January 1999

• Angelo Montanari, Alberto Policriti, Yde Venema:
  Editorial. 5-6
  Electronic Edition (link) BibTeX
• Johan van Benthem:
  Temporal Patterns and Modal Structure. 7-26
  Electronic Edition (link) BibTeX
• Patrick Blackburn, Miroslava Tzakova:
  Hybrid Languages and Temporal Logic. 27-54
  Electronic Edition (link) BibTeX
• Dennis Dams:
  Flat Fragments of CTL and CTL^*: Separating the Expressive and Distinguishing Powers. 55-78
  Electronic Edition (link) BibTeX
• Angelo Montanari, Adriano Peron, Alberto Policriti:
  Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. 79-102
  Electronic Edition (link) BibTeX
• Colin Stirling:
  Bisimulation, Modal Logic and Model Checking Games. 103-124
  Electronic Edition (link) BibTeX
• Alberto Zanardo, Bruno Barcellan, Mark Reynolds:
  Non-Definability of the Class of Complete Bundled Trees. 125-136
  Electronic Edition (link) BibTeX

Volume 7, Number 2, March 1999

• Jean-Yves Béziau:
  Classical Negation can be Expressed by One of its Halves. 145-151
  Electronic Edition (link) BibTeX
• Chris Brink, Ingrid Rewitzky:
  Finite-Cofinite Program Relations. 153-172
  Electronic Edition (link) BibTeX
• Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
  A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. 173-215
  Electronic Edition (link) BibTeX
• Nicolas Peltier:
  Pruning the Search Space and Extracting More Models in Tableaux. 217-251
  Electronic Edition (link) BibTeX
• Vladimir V. Rybakov, Vladimir R. Kiyatkin, Mehmet Terziler:
  Independent Bases for Rules Admissible in Pretabular Logics. 253-266
  Electronic Edition (link) BibTeX

Volume 7, Number 3, May 1999

• Dov M. Gabbay:
  Editorial. 266-276
  Electronic Edition (link) BibTeX
• Douglas S. Bridges, Luminita Dediu:
  Weak Continuity Properties in Constructive Analysis. 277-281
  Electronic Edition (link) BibTeX
• Krysia Broda, Marcelo Finger, Alessandra Russo:
  Labelled Natural Deduction for Substructural Logics. 283-318
  Electronic Edition (link) BibTeX
• Roy Dyckhoff:
  A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic. 319-326
  Electronic Edition (link) BibTeX
• Lew Gordeev:
  Variable Compactness in 1-Order Logic. 327-357
  Electronic Edition (link) BibTeX
• Heinz-Dieter Ebbinghaus:
  Is There a Logic for Polynomial Time? 359-374
  Electronic Edition (link) BibTeX
• Scott Hazelhurst, Carl-Johan H. Seger:
  Model Checking Lattices: Using and reasoning about information orders for abstraction. 375-411
  Electronic Edition (link) BibTeX
• Conference Report: Logic for Concurrency and Synchronisation (LOCUS). 412-417
  Electronic Edition (link) BibTeX

Volume 7, Number 4, July 1999

• Laurent Audibert, Cédric Lhoussaine, Karl Schlechta:
  Distance Based Revision of Preferential Logics. 429-446
  Electronic Edition (link) BibTeX
• Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli:
  Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics. 447-480
  Electronic Edition (link) BibTeX
• Alexandru Baltag:
  STS: A Structural Theory of Sets. 481-515
  Electronic Edition (link) BibTeX
• Ken-etsu Fujita:
  A Binary-Conclusion Natural Deduction System. 517-545
  Electronic Edition (link) BibTeX
• Robin Hirsch:
  A Finite Relation Algebra with Undecidable Network Satisfaction Problem. 547-554
  Electronic Edition (link) BibTeX
• Conference Report: 6th Workshop on Logic, Language, Information and Computation (WoLLIC'99). 555-566
  Electronic Edition (link) BibTeX

Volume 7, Number 5, September 1999

• Michael Kaminski:
  Open Default Theories over Closed Domains. 577-589
  Electronic Edition (link) BibTeX
• Ralf Naumann:
  A Dynamic Logic of Events and States for the Interaction between Plural Quantification and Verb Aspect in Natural Language. 591-627
  Electronic Edition (link) BibTeX
• Guy Perrier:
  Labelled Proof Nets for the Syntax and Semantics of Natural Languages. 629-654
  Electronic Edition (link) BibTeX
• Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner:
  Description of Modal Logics Inheriting Admissible Rules for S4. 655-664
  Electronic Edition (link) BibTeX
• First International Workshop on Hybrid Logic (HyLo'99). 665-669
  Electronic Edition (link) BibTeX
• Josep Maria Font:
  Addendum to the paper `Belnap's four-valued logic and De Morgan lattices'. 671-672
  Electronic Edition (link) BibTeX

Volume 7, Number 6, November 1999

• Sergio A. Celani, Ramon Jansana:
  Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic. 683-715
  Electronic Edition (link) BibTeX
• Pilar Dellunde:
  Equality-free Logic: The Method of Diagrams and Preservation Theorems. 717-732
  Electronic Edition (link) BibTeX
• Camillo Fiorentini, Pierangelo Miglioli:
  A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications. 733-753
  Electronic Edition (link) BibTeX
• Maarten Marx, Szabolcs Mikulás, Stefan Schlobach:
  Tableau Calculus for Local Cubic Modal Logic and it's Implementation. 755-778
  Electronic Edition (link) BibTeX
• Carroll Morgan, Annabelle McIver:
  An Expectation-Transformer Model for Probabilistic Temporal Logic. 779-804
  Electronic Edition (link) BibTeX