Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Philippe Balbiani
Map detail
Philippe Balbiani7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPhilippe BalbianiAPhilippe BalbianiResearcherAsynchronous AnnouncementsWAsynchronous Announcementspreprint / 2021About the unification types of the modal logics determined by classes of deterministic framesWAbout the unification t...preprint / 2020Intuitionistic Linear Temporal LogicsWIntuitionistic Linear T...preprint / 2019Representation theorems for extended contact algebras based on equivalence relationsWRepresentation theorems...preprint / 2019Alternative axiomatics and complexity of deliberative STIT theoriesWAlternative axiomatics ...preprint / 2007DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACEWDL-PA and DCL-PC: model...preprint / 2014
Person6 links

Philippe Balbiani

Researcher