Labelled Propositional Modal Logics: Theory and Practice (1996)

by David Basin , Seán Matthews , Luca Viganò
Citations:38 - 8 self