Downloads & Free Reading Options - Results

Tableau Based Decision Procedure For The Multi Agent Epistemic Logic With Operators Of Common And Distributed Knowledge by Valentin Goranko

Read "Tableau Based Decision Procedure For The Multi Agent Epistemic Logic With Operators Of Common And Distributed Knowledge" by Valentin Goranko through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Tableau-based Decision Procedure For The Multi-agent Epistemic Logic With Operators Of Common And Distributed Knowledge

By

We develop an incremental-tableau-based decision procedure for the multi-agent epistemic logic MAEL(CD) (aka S5_n (CD)), whose language contains operators of individual knowledge for a finite set Ag of agents, as well as operators of distributed and common knowledge among all agents in Ag. Our tableau procedure works in (deterministic) exponential time, thus establishing an upper bound for MAEL(CD)-satisfiability that matches the (implicit) lower-bound known from earlier results, which implies ExpTime-completeness of MAEL(CD)-satisfiability. Therefore, our procedure provides a complexity-optimal algorithm for checking MAEL(CD)-satisfiability, which, however, in most cases is much more efficient. We prove soundness and completeness of the procedure, and illustrate it with an example.

“Tableau-based Decision Procedure For The Multi-agent Epistemic Logic With Operators Of Common And Distributed Knowledge” Metadata:

  • Title: ➤  Tableau-based Decision Procedure For The Multi-agent Epistemic Logic With Operators Of Common And Distributed Knowledge
  • Authors:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 9.00 Mbs, the file-s for this book were downloaded 60 times, the file-s went public at Sat Sep 21 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Tableau-based Decision Procedure For The Multi-agent Epistemic Logic With Operators Of Common And Distributed Knowledge at online marketplaces:


Top of Page

Buy “Tableau Based Decision Procedure For The Multi Agent Epistemic Logic With Operators Of Common And Distributed Knowledge” online:

Shop for “Tableau Based Decision Procedure For The Multi Agent Epistemic Logic With Operators Of Common And Distributed Knowledge” on popular online marketplaces.