The logic ILP for intuitionistic reasoning about probability

DOI10.1007/s11225-023-10084-zMaRDI QIDQ6636376

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

Publication date: 12 November 2024

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

logicintuitionistic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zur Deutung der intuitionistischen Logik.
• Modal operators with probabilistic interpretations. I
• Infinitary propositional intuitionistic logic
• Über das Prinzip tertium non datur.
• Some first-order probability logics
• A logic for reasoning about probabilities
• Probability Logics
• Infinitary intuitionistic logic from a classical point of view
• Some probability logics with new types of probability operators
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• A probabilistic extension of intuitionistic logic
• An intuitionistic logic with probabilistic operators
• Tableau for the logic ILP
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• On the strong semantical completeness of the intuitionistic predicate calculus
• Probability logic
• Sur la logique de M. Brouwer.
• Glivenko sequent classes and constructive cut elimination in geometric logics

This page was built for publication: The logic ILP for intuitionistic reasoning about probability