Non-Classical PDL on the Cheap

Authors: Igor Sedlár
Publication year: 2017
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: The Logica Yearbook 2016
Bibliographic citation: 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

Abstract

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.