Skip to content
View cagve's full-sized avatar
1 follower · 3 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report cagve

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
cagve/README.md

Carlos Aguilera Ventura (@cagve)

👋 Hi! I’m Carlos Aguilera Ventura, PhD in Logic and Philosophy of Science.

I hold a Bachelor’s degree in Philosophy and an Interuniversity Master’s in Logic and Philosophy of Science. I have completed my PhD at IRIT under a MESRI contract, supervised by Jonathan Ben-Naim and Andreas Herzig.

🎓 PhD Research

Title (working description): Belief Revision for Modal Logics

When an agent learns new information that contradicts her current beliefs, she must give up some of those beliefs. This is a central problem in knowledge representation. My research studies belief revision operations for modal logics, focusing on:

  • Distance-based models
  • Rationality postulates
  • Algorithms and automatic reasoning techniques

📖 Research Interests

  • Modal and Epistemic Logic
  • Belief Revision
  • Knowledge Representation
  • Automatic Reasoning

🛠️ Projects

  • 🌱 Epistemic Model Checker
    A software tool for determining the truth value of modal formulas in Kripke-style multi-agent models.

  • 🌲 Epistemic Tableau System
    An implementation of a tableau method for epistemic logic.

  • ✍️ LogiDoc
    A lightweight tool for writing logical formulas easily.

  • 🔥 TexBox
    Just nvim + LaTeX.

🧠 Background

  • Philosophy
  • Logic
  • Formal Epistemology
  • Computer Science (logic-oriented)

📫 Contact

  • GitHub: @cagve
  • Mail: aguileraventuracarlos[at]gmail.com

Popular repositories Loading

  1. texbox texbox Public

    LaTex + Vim = <3

    Lua 1

  2. telescope-texsuite telescope-texsuite Public

    Set of telescope functions for tex documents

    Lua 1

  3. HaskellKnit HaskellKnit Public

    Haskell 1

  4. EpistemicModelChecker EpistemicModelChecker Public

    BETA-A model checker for evaluating epistemic formulas

    Java

  5. logidoc logidoc Public

    JavaScript

  6. logic-parser logic-parser Public

    Plugin para vim que evalua fórmulas de lógica proposicional en latex

    C