Number of the records: 1
Propositional Dynamic Logic with Belnapian Truth Values
- 1.0465841 - ÚI 2017 RIV GB eng C - Conference Paper (international conference)
Sedlár, Igor
Propositional Dynamic Logic with Belnapian Truth Values.
Advances in Modal Logic. Vol. 11. London: College Publications, 2016 - (Beklemishev, L.; Demri, S.; Máté, A.), s. 503-519. ISBN 978-1-84890-201-5.
[AIML 2016. Advances in Modal Logic. Budapest (HU), 30.08.2016-02.09.2016]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Belnap-Dunn logic * four-valued logic * propositional dynamic logic
Subject RIV: BA - General Mathematics
https://www.collegepublications.co.uk/aiml/?00008
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.
Permanent Link: http://hdl.handle.net/11104/0264286
File Download Size Commentary Version Access a0465841.pdf 6 7.8 MB Publisher’s postprint require 0465841.pdf 8 440.5 KB Author´s preprint open-access
Number of the records: 1