Advances in Modal Logic - volume 4

AiML: Volume 4

Very interesting, could be possibly used to form the basis of a temporal ontological description, or at least a temporal predicate logic system.

Tags: ontology, modal logic, predicate logic,