DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
Book chapter (September 2023)
The most recent citing publications are shown below. View all 71 publications that cite this research output on Dimensions.
Book chapter (September 2023)
Book chapter (September 2023)
Article in Journal of Applied Non-Classical Logics (April 2023)