guest ::
login
Digital Repository
Search
Submit
Help
About
Home
>
Reports
>
Research reports
> Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Information
Files
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
Record created 2011-07-01, last modified 2024-01-26
Similar records
No fulltext
Export as
DC
,
NUŠL
,
RIS
Share