Completeness of tableau calculi for two-dimensional hybrid logics
Article in Journal of Logic and Computation (April 2024)
The most recent citing publications are shown below. View all 76 publications that cite this research output on Dimensions.
Article in Journal of Logic and Computation (April 2024)
Article in Journal of Logic and Computation (November 2023)
Book chapter (September 2023)