Tableau for the logic ILP

DOI10.2298/PIM2226001OMaRDI QIDQ5056452zbMATH OpenOpenAlexFDO

Authors Zoran Ognjanović, Aleksandar Perović, Angelina Ilić-Stepić

Publication date 8 December 2022

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2298/pim2226001o

zbMATH Keywords

intuitionistic logicprobability operatorsproof procedure

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Subsystems of classical logic (including intuitionistic logic) (03B20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Intuitionistic propositional probability logic
• A tableaux calculus for default intuitionistic logic
• An intuitionistic logic with probabilistic operators
• A probabilistic extension of intuitionistic logic
• SLAP: specification logic of actions with probability

Cites work

• scientific article; zbMATH DE number 3113496 (Why is no real title available?)
• scientific article; zbMATH DE number 1505462 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• A probabilistic extension of intuitionistic logic
• An intuitionistic logic with probabilistic operators
• Proof methods for modal and intuitionistic logics

Cited in

(2)

• Probability logics for reasoning about quantum observations
• The logic ILP for intuitionistic reasoning about probability

This page was built for publication: Tableau for the logic ILP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5056452)