×

Found 29 Documents (Results 1–29)

On Artemov and Protopopescu’s intuitionistic epistemic logic expanded with distributed knowledge. (English) Zbl 07547772

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 216-231 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Group belief. (English) Zbl 07578357

Dastani, Mehdi (ed.) et al., Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12061, 3-21 (2020).
MSC:  03B70 68T27
PDF BibTeX XML Cite
Full Text: DOI

Public announcement logic with distributed knowledge. (English) Zbl 1298.03061

van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 328-341 (2011).
MSC:  03B42 68T27
PDF BibTeX XML Cite
Full Text: DOI

An epistemic logic with hypotheses. (English) Zbl 1298.03059

van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 286-299 (2011).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI

Taming the complexity of temporal epistemic reasoning. (English) Zbl 1193.03052

Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 198-213 (2009).
PDF BibTeX XML Cite
Full Text: DOI Link

Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic. (English) Zbl 1211.03027

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 197-213 (2009).
MSC:  03B42 68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI arXiv

A complete quantified epistemic logic for reasoning about message passing systems. (English) Zbl 1175.68430

Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 248-267 (2009).
MSC:  68T27 03B42 68T42
PDF BibTeX XML Cite
Full Text: DOI Link

Proof theory for distributed knowledge. (English) Zbl 1175.68436

Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 100-116 (2009).
PDF BibTeX XML Cite
Full Text: DOI

A resolution-based proof method for temporal logics of knowledge and belief. (English) Zbl 1422.03020

Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 178-192 (1996).
MSC:  03B35 03B42 03B44
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

Main Field

all top 3

Software