Original title: Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Authors: Bílková, Marta
Document type: Research reports
Year: 2007
Language: eng
Series: ITI Series, volume: 2007-341
Keywords: disjunction property; feasible interpolation; interpolation; modal logic
Project no.: CEZ:AV0Z10300504 (CEP), 1M0545 (CEP)
Funding provider: GA MŠk

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0150695

Permalink: http://www.nusl.cz/ntk/nusl-37668


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Reports > Research reports