Plausibility and conditional beliefs in paraconsistent modal logic

0508246 - ÚI 2020 CH eng A - Abstrakt
Majer, Ondrej - Sedlár, Igor
Plausibility and conditional beliefs in paraconsistent modal logic.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 66-70.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Epistemic logic * Hybrid logic * Paraconsistent logic * Plausibility orders
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf

We discuss a paraconsistent modal logic with modalities related to a plausibility preorder on the set of states. One of the modalities expresses support by all states at least as plausible as the present state, the other one is a form of a conditional belief. Our application of the formalism is an epistemic one and it involves the notion of support by the most plausible accessible states. The main technical result obtained so far is a completeness proof for a logic defined by the class of models satisfying a particular closure condition. An alternative, and potentially more general, approach to defining ‘support by the most plausible accessible states’—one based on paraconsistent hybrid logic—is also discussed
Trvalý link: http://hdl.handle.net/11104/0299211