Propositional Dynamic Logic with Belnapian Truth Values

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F16%3A00465841" target="_blank" >RIV/67985807:_____/16:00465841 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Propositional Dynamic Logic with Belnapian Truth Values

Original language description

We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing ('Modal logics with Belnapian truth values', J. Appl. Non-Class. Log. 20, 279–301 (2010)). We modify the standard arguments based on canonical models and filtration to suit the four-valued context and prove weak completeness and decidability of BPDL.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2016

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-84890-201-5

ISSN

—

e-ISSN

—

Number of pages

17

Pages from-to

503-519

Publisher name

College Publications

Place of publication

London

Event location

Budapest

Event date

Aug 30, 2016

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—