33 citations · 60 across the 4 of their papers we have counts for
4 papers
A Data-Driven Framework for Identifying Investment Opportunities in Private Equity
Samantha Petersone, Alwin Tan, Richard Allmendinger +2
The core activity of a Private Equity (PE) firm is to invest into companies in order to provide the investors with profit, usually within 4-7 years. To invest into a company or not…
Positive Announcements
Hans van Ditmarsch, Tim French, James Hales
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epis…
A composable language for action models
Tim French, James Hales, Edwin Tay
Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic embeds the s…
Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Tim French +2
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be sa…