Sciweavers

DALT
2006
Springer

A Fibred Tableau Calculus for Modal Logics of Agents

14 years 3 months ago
A Fibred Tableau Calculus for Modal Logics of Agents
Vineet Padmanabhan, Guido Governatori
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where DALT
Authors Vineet Padmanabhan, Guido Governatori
Comments (0)