Finitely-valued propositional dynamic logics

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F20%3A00537049" target="_blank" >RIV/67985807:_____/20:00537049 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Finitely-valued propositional dynamic logics

Original language description

We study a many-valued generalization of Propositional Dynamic Logic where formulas in states and accessibility relations between states of a Kripke model are evaluated in a finite FL-algebra. One natural interpretation of this framework is related to reasoning about costs of performing structured actions. We prove that PDL over any finite FL-algebra is decidable. We also establish a general completeness result for a class of PDLs based on commutative integral FL-algebras with canonical constants.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10101 - Pure mathematics

Project

<a href="/en/project/GJ18-19162Y" target="_blank" >GJ18-19162Y: Non-classical logical models of information dynamics</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2020

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-341-8

ISSN

—

e-ISSN

—

Number of pages

19

Pages from-to

561-579

Publisher name

College Publications

Place of publication

London

Event location

Helsinki / Online

Event date

Aug 24, 2020

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—