Showing items 1 - 2 of 2.
Add to Quick Collection
All 2 Results
Add All Items to Quick Collection
Resource Type: journal article
A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a tem... More
Resource Type: conference paper
For modelling and verifying agent systems, many researchers have proposed different logical systems. Since agent-based systems are designed to operate in dynamic environments such as the Internet, it ... More