Tableaux for Acceptance Logic

DOI10.1007/978-3-642-11355-0_6zbMath1274.68595OpenAlexW27543936MaRDI QIDQ3402241

Emiliano Lorini, Andreas Herzig, Tiago de Lima, Mathijs de Boer

Publication date: 2 February 2010

Published in: Declarative Agent Languages and Technologies VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11355-0_6

zbMATH Keywords

judgement aggregationdiscursive dilemmaacceptance logicsemantic tableaux method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)