An Order-Sorted Quantified Modal Logic for Meta-ontology.

Ken Kaneiwa, Riichiro Mizoguchi

Browse the full TABLEAUX paper archive.