Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic 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
Volume 7, Number 2, March 1999
- 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
Volume 7, Number 3, May 1999
- Dov M. Gabbay:
Editorial. 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
Volume 7, Number 4, July 1999
- 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
Volume 7, Number 5, September 1999
- 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
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 - 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
