Modal operators for meet-complemented lattices

TL;DR

This paper explores modal operators of necessity and possibility within meet-complemented lattices, comparing them with existing operators to understand their properties and differences in a non-distributive setting.

Contribution

It introduces and analyzes modal operators specifically designed for meet-complemented lattices, expanding the theoretical framework of modal logic in algebraic structures.

Findings

Comparison of modal operators with existing ones

Characterization of necessity and possibility operators

Insights into non-distributive lattice structures

Abstract

We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.