Tableau Systems for Some Ivlev-Like (Quantified) Modal Logics
Book chapter (June 2024)
The most recent citing publications are shown below. View all 729 publications that cite this research output on Dimensions.
Book chapter (June 2024)
Article in Autonomous Agents and Multi-Agent Systems (May 2024)
Article in Journal of Philosophical Logic (March 2024)