On AGM Belief Revision for Computational Tree Logic
Book chapter (November 2022)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (November 2022)
Book chapter (September 2021)
Article in Annals of Mathematics and Artificial Intelligence (October 2015)