Skip to content

Future Event Logic - Axioms and Complexity.

Hans van Ditmarsch, Tim French, Sophie Pinchinat

VenueBAiML
Year2010
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.