Metalogic for Knowledge Representation.

Antonio Brogi, Franco Turini

Browse the full KR paper archive.