Back to Results
First PageMeta Content
Logic / Mathematical logic / Philosophy / Model theory / Formal languages / Logical truth / Propositional calculus / Linear temporal logic / Temporal logic / Interpretation / Substitution / operator


Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3
Add to Reading List

Document Date: 2007-07-31 07:08:31


Open Document

File Size: 108,53 KB

Share Result on Facebook