Journal of Logic, Language and Information

Indentification in the Limit of Categorial Grammars
pp. 115-155(41)
Author: Kanazawa M.

Applying Allen's Constraint Propagation Algorithm for Non-Linear Time
pp. 157-175(19)
Author: Hajnicz E.

Completeness and Incompleteness for Plausibility Logic
pp. 177-192(16)
Author: Schlechta K.

Eliminating ``Converse'' from Converse PDL
pp. 193-208(16)
Author: de Giacomo G.

Reasoning about Action and Change. A Dynamic Logic Approach
pp. 209-245(37)
Authors: Prendinger H.; Schurz G.