Enum ModalSystem 

pub enum ModalSystem {
    K,
    T,
    S4,
    S5,
    D,
    KD45,
    GL,
    B,
}

Identifies a normal modal logic by its axiom schema name.

Variants

K

K: the minimal normal modal logic

T

T (= M): K + Axiom T (reflexivity)

S4

S4: T + Axiom 4 (transitivity)

S5

S5: S4 + Axiom B (symmetry)

D

D: K + Axiom D (seriality, deontic)

KD45

KD45: D + Axiom 4 + Axiom 5 (doxastic belief)

GL

GL: K + Axiom Löb (provability)

B

B: K + T + B (Brouwer)

Implementations

impl ModalSystem

pub fn name(&self) -> &'static str

Return a human-readable name for the logic.

pub fn frame_validates(&self, frame: &KripkeFrame, rel: usize) -> bool

Check whether the given frame satisfies the characteristic frame condition.

Trait Implementations

impl Clone for ModalSystem

fn clone(&self) -> ModalSystem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ModalSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for ModalSystem

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ModalSystem

fn eq(&self, other: &ModalSystem) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ModalSystem

impl StructuralPartialEq for ModalSystem