Skip to main content

is_transitive

qualia_core_db::modalities::modal

Function is_transitive 

Source 
pub fn is_transitive(graph: &[NQuin], accesses: u64, worlds: &[u64]) -> bool
Expand description

Transitive (axiom 4: □φ→□□φ): wRv ∧ vRu ⇒ wRu.