Number of the records: 1

Feasible Disjunction Property and Feasible Interpolation in Modal Logic

SYSNO	0089500
Title	Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Author(s)	Bílková, Marta (UIVT-O)_{SAI, RID, ORCID}
Issue data	Prague: ITI Charles University, 2007
Edition	ITI Series , 2007-341
Document Type	Výzkumná zpráva
Grant	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	CZ
Keywords	interpolation * modal logic * disjunction property * feasible interpolation
Permanent Link	http://hdl.handle.net/11104/0150695

Number of the records: 1