Tableaux for acceptance logic

Authors:
Mathijs de Boer;Andreas Herzig;Tiago de Lima;Emiliano Lorini
Affiliations:
University of Luxembourg, Luxembourg;IRIT, University of Toulouse 3, France;Eindhoven University of Technology, The Netherlands;IRIT, University of Toulouse 3, France
Venue:
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Year:
2009

Citing 5
Cited 0

A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Modal tableaux with propagation rules and structural rules

Fundamenta Informaticae
Reasoning about judgment and preference aggregation

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
The Logic of Acceptance

Journal of Logic and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We continue the work initiated in [1,2,3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capturing the concept of acceptance qua member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judgement aggregation: it deals with how a collective acceptance of the members of an institution about a certain fact φ is created from the individual acceptances of the members of the institution. The contribution of this paper is to present a tableau method for the logic of acceptance. The method automatically decides whether a formula of the logic of acceptance is satisfiable thereby providing an automated reasoning procedure for judgement aggregation in the logic of acceptance.