Accelerating the world's research. A tableau calculus for equilibrium entailment David Pearce Automated Reasoning with Analytic Tableaux and Related Methods Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers From Kripke models to algebraic counter-valuations Sara Negri FaCT and DLP Ian Horrocks A tableau method for Interval Temporal Logic with projection Simon Thompson Download a PDF Pack of the best related papers 