Non-Classical PDL on the Cheap

Autoři: Mgr. Igor Sedlár, Ph.D.
Rok vydání: 2017
Typ publikace: Konferenční příspěvek (mezinárodní konf.)
Periodikum: The Logica Yearbook 2016
Bibliografická citace: SEDLÁR, Igor. Non-Classical PDL on the Cheap. In: ARAZIM, P., LÁVIČKA, T., eds. The Logica Yearbook 2016. London: College Publications, 2017, S. 239-255. ISBN 978-1-84890-243-5.
ID: 476493

Abstrakt

A four-valued version of PDL is obtained by defining a DeMorgan negation as a negative modality using a special atomic program. Simple examples indicating applications of the formalism in formal verification of epistemic programs and epistemic planning are provided. Decidability and weak completeness are established.