Source: wikibot/japaridze-s-polymodal-logic

= Japaridze's polymodal logic
{wiki=Japaridze's_polymodal_logic}