= Japaridze's polymodal logic
{wiki=Japaridze's_polymodal_logic}
Japaridze's polymodal logic is a type of non-classical logic that extends modal logic by allowing for multiple modalities that can interact in various ways. It was developed by the logician Georgi Japaridze, who aimed to create a framework for reasoning that captures more complex relationships than standard modal logics. In traditional modal logic, the most common modalities include necessity (typically represented as □) and possibility (◊), which deal with notions of truth across possible worlds.
Back to article page
