2 papers
cs.LO2026
Basic Model Theory for Path Predicate Modal Logic
Raul Fervari, Santiago Figueira, Gabriel Goren-Roig +1
Path Predicate Modal Logic (PPML) is a generalization of Basic Modal Logic, where atoms are relational predicates instead of propositional symbols. The study of PPML is motivated a…
cs.LO2024
Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
Santiago Figueira, Gabriel Goren-Roig
Game comonads provide categorical semantics for comparison games in Finite Model Theory, thus providing an abstract characterisation of logical equivalence for a wide range of logi…