Feasible Disjunction Property and Feasible Interpolation in Modal Logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F07%3A00000721" target="_blank" >RIV/00216208:11210/07:00000721 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Feasible Disjunction Property and Feasible Interpolation in Modal Logic

Original language description

We prove Feasible Disjunction Property for modal propositional logics K, K4, K4Grz, GL, T, S4, and S4Grz, by a uniform and simple proof based on modular modal sequent proof systems. We derive Feasible Interpolation Theorem for all the logics. Our resultsare weaker than Hrubeš? obtained recently.

Czech name

Efektivní vlastnost disjunkce a efektivní interpolace v modální logice

Czech description

V článku je dokázána efektivní vlastnost disjunkce v modálních logikách K, K4, K4Grz, GL, T, S4, a S4Grz, uniformním a jednoduchým důkazem založeným na uniformní definici sekventového kalkulu pro zmíněné logiky. Jako důsledek dostaneme efektivní interpolaci ve zmíněných logikách. Výsledky obsažené v článku jsou slabší než současně dosažené P. Hrubešem.

Type

A - Audiovisual production

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

—

Place of publication

—

Publisher/client name

—

Version

—

Carrier ID

—