Projects

• Jul 2024
  kg2: Paraconsistent Gödel Modal Logic Tool

  A Python package for model checking in Paraconsistent Gödel Modal Logic, a logic for reasoning about uncertainty and inconsistency where beliefs are represented as pairs of values.
• Jul 2024
  akvmodel: AKV Social Network Simulator

  A Python package implementing the Alvim-Knight-Valencia (AKV) social network model with a catalog of belief updates, initial configurations, and influence graphs.