About: Proof theory of modal coalgebraic logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Proof theory of modal coalgebraic logic Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GPP202/11/P304
Description	Rovnicová logika je považována za logiku algeber, modální logika je logikou koalgeber – struktur modelujících chování přechodových systémů (automatů). Navrhovaný projekt se soustředí na studium modálních logik vhodných k popisu chování koalgeber, s důrazem na jejich teorii důkazů. Zaměříme se na dva z existujících přístupů ke koalgebraické modální logice - jazyky pocházející z logické konexe, a jazyky založené na „cover“ modalitách. Logická konexe mezi kategorií prostorů (kde studujeme koalgebry) a kategorií algeber (kde definujeme logiku) ustaví, jaké koalgebry studujeme a co je výroková část zamýšlené logiky, a automaticky generuje modální jazyk. Zde budeme zkoumat algebraické vlastnosti modalit. Modální logiku koalgeber typu T lze založit na jediné„cover“ modalitě, jejíž arita i sémantika je dána funktorem T. Zde obecně definujeme sekventové kalkuly. V obou případech se pokusíme výsledky generalizovat na kategorie jiné než Set. As eqational logic is considered to be the logic of algebras, modal logic is the logic for coalgebras, the general concept modeling transition systéme (such as automata). The aim of the proposed project is to study modal logics developed to reason about coalgebras. We concentrate on proof theoretical issues of modal logics arising in two of existing approaches to coalgebraic logic - languages arising from a logica connection, and languages based on cover modalities. Logical connection between a category of "spaces"(where the coalgebras live) and category of "algebras"(where the logic is studied) fixes the basic setting - what type of coalgebras are to be studied and what the propositional part of the logic should be – and generates a modal language automatically. Here we will study algebraic properties of the obtained modalities. A modal logic for coalgebras of type T can be based on a single cover modality with arity and semantics given by T. Here we will develop sequent proof systems in a general way. In both directions we try to generalize to categories other then Set. (en)
Title	Proof theory of modal coalgebraic logic (en) Teorie důkazů modální koalgebraické logiky
skos:notation	GPP202/11/P304
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GPP202%2F11%2FP304/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GPP202%2F11%2FP304/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-02-09 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100993387
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	modal logic coalgebraic logic proof theory (en)
http://linked.open...neniPrubehuReseni	Deferred Final Report (en) Odložená závěrečná zpráva (cs)
http://linked.open...ep/partnetrHlavni	Filozofická fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	2 (xsd:int)
http://linked.open...enychVysledkuVRIV	2 (xsd:int)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/P202-11-P304
http://linked.open...iciPoslednihoRoku	2015
http://linked.open...atUdajeProjZameru	2015
http://linked.open.../vavai/cep/soutez	SGA02011GA1PD
http://linked.open...usZobrazovaneFaze	DRRVK
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2015-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	BA - Obecná matematika
http://linked.open...ep/zahajeniReseni	2011-01-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZBKPK
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP202%2F11%2FP304/2011/orjk%3A11210 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP202%2F11%2FP304/2012/orjk%3A11210 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP202%2F11%2FP304/2013/orjk%3A11210 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP202%2F11%2FP304/2014/orjk%3A11210 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GPP202%2F11%2FP304/2015/orjk%3A11210

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software