A Logic of Branching Histories with a Shared Linear Time Series

Brandon Bennett

I present an expressive temporal logic intended for applications in KR and ontology construction. The formalism combines a 1st-order logic of time with a modal treatment of historical necessity, which is used to model describe alternative possible histories. An axiomatisation is given and proved complete with respect to the intended semantics.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.