Definitions and (uniform) Interpolants in first-order modal logic

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)
Pages	417-428
Publication status	Published - 2023

Access to Document

@inbook{20811ee4b34d48b199790e8c772e2646,

title = "Definitions and (uniform) Interpolants in first-order modal logic",

author = "Agi Kurucz and Frank Wolter and Michael Zakharyaschev",

year = "2023",

language = "English",

pages = "417--428",

booktitle = "Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)",

}