318 Charles Stewart / Phiniki Stouppa Inferences / /
IndustryTerm
modal logic systems / distinct logical systems / logical systems / important systems / normal propositional modal logic systems / studied systems / deductive systems / sequent systems / modal systems / tableau systems / model systems / /