Pages that link to "Item:Q4835514"
From MaRDI portal
The following pages link to Belief, provability, and logic programs (Q4835514):
Displaying 7 items.
- Formal semantics for mutual belief (Q685541) (← links)
- Logics for belief as maximally plausible possibility (Q831224) (← links)
- Logics for belief functions on MV-algebras (Q1951299) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- Propositional logic based on the dynamics of belief (Q3680815) (← links)
- (Q4999277) (← links)
- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (Q5747747) (← links)