This HTML5 document contains 39 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11210%2F07%3A00000721%21RIV08-MSM-11210___/
n13http://localhost/temp/predkladatel/
n6http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n12http://linked.opendata.cz/ontology/domain/vavai/
n16http://linked.opendata.cz/resource/domain/vavai/zamer/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/kodPristupu/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11210%2F07%3A00000721%21RIV08-MSM-11210___
rdf:type
skos:Concept n12:Vysledek
rdfs:seeAlso
http://iti.mff.cuni.cz/series/files/iti341.pdf
dcterms: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. 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 results are weaker than Hrubeš’ obtained recently. 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 results are weaker than Hrubeš’ obtained recently.
dcterms:title
Efektivní vlastnost disjunkce a efektivní interpolace v modální logice Feasible Disjunction Property and Feasible Interpolation in Modal Logic Feasible Disjunction Property and Feasible Interpolation in Modal Logic
skos:prefLabel
Feasible Disjunction Property and Feasible Interpolation in Modal Logic Efektivní vlastnost disjunkce a efektivní interpolace v modální logice Feasible Disjunction Property and Feasible Interpolation in Modal Logic
skos:notation
RIV/00216208:11210/07:00000721!RIV08-MSM-11210___
n3:aktivita
n7:Z
n3:aktivity
Z(MSM0021620808)
n3:dodaniDat
n5:2008
n3:domaciTvurceVysledku
n6:6286615
n3:druhVysledku
n15:A
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
421777
n3:idVysledku
RIV/00216208:11210/07:00000721
n3:jazykVysledku
n17:eng
n3:klicovaSlova
Feasible; Disjunction; Property; Feasible; Interpolation; Modal; Logic
n3:klicoveSlovo
n10:Feasible n10:Logic n10:Interpolation n10:Disjunction n10:Property n10:Modal
n3:kodPristupu
n11:V
n3:kontrolniKodProRIV
[402971D3DBDE]
n3:obor
n19:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n5:2007
n3:tvurceVysledku
Bílková, Marta
n3:zamer
n16:MSM0021620808
n13:organizacniJednotka
11210