---
title: "Belief Revision on Computation Tree Logic"
authors:
  - "Paulo T. Guerra"
  - "Renata Wassermann"
doi: "10.5591/978-1-57735-516-8/IJCAI11-477"
url: "https://ijcai.org/proceedings/2011/477"
pdf: "https://ijcai.org/proceedings/2011/0477.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "2810-2810"
track: ""
keywords:
---

# Belief Revision on Computation Tree Logic

Paulo T. Guerra, Renata Wassermann

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 2810-2810. DOI: [10.5591/978-1-57735-516-8/IJCAI11-477](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-477)

## Abstract

Model checking is one of the most effective techniques in automated system verification. Although this technique can handle complex verifications, model checking tools usually do not give any suggestions on how to repair inconsistent system models. In this paper, we show that approaches developed to update models of Computation Tree Logic (CTL) cannot deal with all kinds of changes. We introduce the concept of CTL model revision: an approach based on belief revision to handle system inconsistency in a static context.