works on
anti-unification 1completeness 1formal verification 1prototype verification system 1term rewriting 1theorem proving 1

From the 1 of 16 papers with an AI index.

most citedProbing the nature of the state using radiative decays

12 citations

researchers with a paper here
collaborating institutions
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

On Many-logic modal structures and information-based logics

Manuel Martins, Abílio Rodrigues, Marcelo Coniglio +1

This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with diffe…