A predicate variant of two-layered many-valued probability logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F25%3AA26039AG" target="_blank" >RIV/61988987:17610/25:A26039AG - isvavai.cz</a>
Result on the web
<a href="https://ieeexplore.ieee.org/document/11038173" target="_blank" >https://ieeexplore.ieee.org/document/11038173</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ISMVL64713.2025.00015" target="_blank" >10.1109/ISMVL64713.2025.00015</a>

Result language
angličtina
Original language name
A predicate variant of two-layered many-valued probability logic
Original language description
The paper introduces a predicate version of two-layered fuzzy probability logic, extending the known propositional probability logic based on the infinite-valued logic of Lukasiewicz. The proposed first-order framework, enriched additionally by S5-style alethic modalities, significantly increases the expressive power of fuzzy probability logic while retaining semantic clarity. Although the present initial study is limited in scope to the semantics of the proposed probability logic, it lays grounds for further developments, including axiomatization, expansions to more expressive predicate probability logics, and modeling of complex probabilistic reasoning in fields such as decision theory, judgment aggregation, and game theory.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA22-01137S" target="_blank" >GA22-01137S: Metamathematics of substructural modal logics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)