Macquarie University Home Page Macquarie University ResearchOnline

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2011
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/159922
Description: 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
Reviewed:Reviewed
Date: 2009
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/116004
Description: 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
Full Text: Full Text
Reviewed:Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last