oxilean-std 0.1.2

OxiLean standard library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Formal Epistemology — belief revision, epistemic logic, Kripke semantics.
//!
//! Implements:
//! - AGM belief revision (expansion, contraction, revision)
//! - Kripke semantics for epistemic logic
//! - Common knowledge and distributed knowledge
//! - Muddy children puzzle
//! - Bayesian update, KL divergence, Shannon entropy

pub mod functions;
pub mod types;

pub use functions::*;
pub use types::*;