Picture for Luis Fariñas

Luis Fariñas

Metric Dynamic Equilibrium Logic

Add code
Jan 19, 2024
Viaarxiv icon

Founded World Views with Autoepistemic Equilibrium Logic

Add code
Feb 20, 2019
Figure 1 for Founded World Views with Autoepistemic Equilibrium Logic
Figure 2 for Founded World Views with Autoepistemic Equilibrium Logic
Viaarxiv icon