Pages that link to "Item:Q4419271"
From MaRDI portal
The following pages link to A probabilistic extension of intuitionistic logic (Q4419271):
Displayed 13 items.
- \(p\)-adic probability logics (Q344035) (← links)
- Conditional \(p\)-adic probability logic (Q465585) (← links)
- Sequent calculus for classical logic probabilized (Q1712933) (← links)
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers (Q2350218) (← links)
- A logic with approximate conditional probabilities that can model default reasoning (Q2379314) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A p-adic probability logic (Q2910981) (← links)
- Measure Logic (Q3524924) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Tableau for the logic ILP (Q5056452) (← links)
- Logical perspectives on the foundations of probability (Q6049746) (← links)
- Intuitionistic propositional probability logic (Q6094169) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)