Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms Conference Paper uri icon

publication date

  • 2011