Homepage

• 
  Philippe Balbiani. Remarks about roles and entitlements. Journées d'Intelligence Artificielle Fondamentale (JIAF 2021), Zied Bouraoui; Sylvie Doutre, Jul 2021, Bordeaux (virtual), France. ⟨hal-03244488⟩
• 
  Philippe Balbiani, Martín Diéguez, David Fernández Duque. Some constructive variants of S4 with the finite model property. 36th IEEE Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy. ⟨hal-03248058⟩
• 
  Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi. About the unification type of modal logic K5 and its extensions. 2021. ⟨hal-03252589⟩
• 
  Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv. About the unification type of fusions of modal logics. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, College Publications, In press. ⟨hal-02936464⟩
• 
  Philippe Balbiani, Mojtaba Mojtahedi. Unification with parameters in the implication fragment of Classical Propositional Logic. Logic Journal of the IGPL, Oxford University Press (OUP), 2021, ⟨10.1093/jigpal/jzab014⟩. ⟨hal-03248073⟩
• 
  Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris. A Simple Framework for Cognitive Planning. 35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, Hong Kong (virtual), China. ⟨hal-03091086⟩
• 
  Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel. Games of Influence. Journal of Logic and Computation, Oxford University Press (OUP), 2021, pp.1-29. ⟨10.1093/logcom/exaa088⟩. ⟨hal-03117720⟩
• 
  Rachael Colley, Umberto Grandi, Arianna Novaro. Smart Voting. Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020), IJCAI Organization, Jan 2021, Yokohama (virtual), Japan. pp.1734-1740, ⟨10.24963/ijcai.2020/240⟩. ⟨hal-03066866⟩
• 
  Joseph Boudou, Andreas Herzig, Nicolas Troquard. Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof). Journal of Logical and Algebraic Methods in Programming, Elsevier, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩. ⟨hal-03210604⟩
• 
  Andreas Herzig, Elise Perrotin. True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations. Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117. ⟨hal-03011708⟩

344