Fundamenta Informaticae, Volume 16

Volume 16, Number 1, 1992

Jan J. M. M. Rutten, Jeffery I. Zucker: A semantic approach to fairness. 1-38
Martin Leischner: On the compactness theorem of propositional temporal logics. 39-57
Michael Gelfond, Halina Przymusinska: On consistency and completeness of autoepistemic theories. 59-92
Erkki Mäkinen: On the generative capacity of context-free matrix grammars over one-letter alphabet. 93-97

Egidio Astesiano, Maura Cerioli: Partial higher-order specifications. 101-126
Barney P. Hilken, David E. Rydeheard: Towards a categorical semantics of type classes. 127-147
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca: Operational, denotational and logical descriptions: a case study. 149-169
Ugo Montanari, Vladimiro Sassone: Dynamic congruence vs. progressing bisimulation for CCS. 171-199

Manfred Broy: Operational and denotational semantics with explicit concurrency. 201-229
Philippe Balbiani: A modal semantics of negation in logic programming. 231-262
Jiri Novotný, Miroslav Novotný: Notes on the algebraic approach to dependence in information systems. 263-273
Miroslav Novotný, Zdzislaw Pawlak: On a problem concerning dependence spaces. 275-287
Roberto Gorrieri: A hierarchy of system descriptions via atomic linear refinement. 289-336
Gheorghe Paun, Miklos Szijarto, Sorina Vicolov: Further remarks on reduced languages. 337-347
Andrzej Ehrenfeucht, Marek W. Zawadowski: A representation of partial Boolean algebras. 349-353
William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai: Learning programs with an easy to calculate set of errors. 355-370
Cecylia Rauszer: Logic for information systems. 371-382
Dimiter Vakarelov: Inductive modal logics. 383-405