Proof Systems for the Coalgebraic Cover Modality

Result code in IS VaVaI

RIV/67985807:_____/08:00320237 - isvavai.cz

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Proof Systems for the Coalgebraic Cover Modality

Original language description

We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a sound and complete Hilbert-style axiomatization. Moreover, we give a two-sided soundand complete sequent calculus for the negation-free language, and for the language with negation we provide a one-sided sequent calculus which is sound, complete and cut-free.

Czech name

Důkazové systémy pro koalgebraickou modalitu

Czech description

Článek zkoumá alternativní prezentaci klasické a positivní modální logiky v jazyce s koalgebraickou modalitou pokrytí jako primitivním operátorem. Pro obě logiky prezentujeme korektní a úplnou hilbertovskou axiomatizaci, korektní a úplný sekventový kalkul s oboustrannými sekventy a korektní, úplný a bezřezový sekventový kalkul s jednostrannými sekventy.

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

IAA900090703: Dynamic Formal Systems

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

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

Article name in the collection

Advances in Modal Logic

ISBN

978-1-904987-68-0

ISSN

—

e-ISSN

—

Number of pages

21

Pages from-to

—

Publisher name

College Publications

Place of publication

London

Event location

Nancy

Event date

Sep 9, 2008

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—