Number of the records: 1

Feasible Disjunction Property and Feasible Interpolation in Modal Logic

SYSNO ASEP	0089500
Document Type	V - Research Report
R&D Document Type	The record was not marked in the RIV
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
Series	ITI Series
Series number	2007-341
Number of pages	15 s.
Language	eng - English
Country	CZ - Czech Republic
Keywords	interpolation ; modal logic ; disjunction property ; feasible interpolation
Subject RIV	BA - General Mathematics
R&D Projects	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2008

Number of the records: 1