A proof-search system for the logic of likelihood
From MaRDI portal
Publication:5082322
DOI10.1093/jigpal/jzz022zbMath1494.03070OpenAlexW2964501316WikidataQ127941723 ScholiaQ127941723MaRDI QIDQ5082322
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/jzz022
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items