Hybrid Logics with Infinitary Proof Systems.

Saved in:

Bibliographic Details
Title:	Hybrid Logics with Infinitary Proof Systems.
Authors:	Kooi, Barteld, Renardel, Gerard, Verbrugge, Rineke
Source:	Journal of Logic & Computation; April 2006, Vol. 16 Issue 2, p161-175, 15p
Database:	Applied Science & Technology Source

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exi086