A proof-search system for the logic of likelihood

DOI10.1093/jigpal/jzaa003zbMath1494.03071MaRDI QIDQ5082332

R. Alonderis, Haroldas Giedra

Publication date: 16 June 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzaa003

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

03B25: Decidability of theories and sets of sentences

03F05: Cut-elimination and normal-form theorems

03F03: Proof theory in general (including proof-theoretic semantics)