Many-Logic Modal Structures Based on the Lattice L6: A First Look
摘要
We propose an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with different underlying logics by anchoring them to a common lattice, which contains the semantics of each logic as a sublattice. The common lattice allows us to transfer semantic information between different logics in a natural way. MLMS are suitable for representing connections between information states (i.e., configurations of databases) and the evolution of information states over time. We will illustrate the application of MLMS by means of the six-valued logic of evidence and truth \(LET_{K}^+\) , related to the lattice L6, and some four-, three-, and two-valued logics related to sublattices of L6. These logics are capable of representing paracomplete, paraconsistent, and classical contexts with six, four, three, and two scenarios. MLMS are able to represent connections between databases, users with different types of access (expressed by different logics) to a common database, and the evolution of databases over time.