DMCA

An Order-Sorted Quantified Modal Logic for Meta-Ontology (2005)

by Ken Kaneiwa , Riichiro Mizoguchi
Venue:IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2005
Citations:10 - 8 self