"The Validities of PEP and Some Characteristic Formulas in Modal Logic."

Hong Zhang, Huacan He (2005)

Details and statistics

DOI: 10.1007/0-387-29295-0_94

access: open

type: Conference or Workshop Paper

metadata version: 2018-06-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics