Advances in modal logicde Marcus Kracht, Heinrich Wansing, Michael ZakharyaschevMateriasModality (Logic)CongressesArtificial intelligenceLogicMathematical logic
IInternal definability and completeness in modal logicInternal definability and completeness in modal logic