Source: wikibot/interpretability-logic

= Interpretability logic
{wiki=Interpretability_logic}