Logic Journal of the IGPL, Volume 7, 1999

Volume 7, Number 1, January 1999

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

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

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

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

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

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