Follow
Govert van Drimmelen
Govert van Drimmelen
University of Johannesburg
Verified email at icon.co.za
Title
Cited by
Cited by
Year
Complete axiomatization and decidability of alternating-time temporal logic
V Goranko, G Van Drimmelen
Theoretical Computer Science 353 (1-3), 93-117, 2006
1802006
Satisfiability in alternating-time temporal logic
G van Drimmelen
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
612003
Towards a model-checker for counter systems
S Demri, A Finkel, V Goranko, G van Drimmelen
International Symposium on Automated Technology for Verification and …, 2006
422006
Model-checking CTL* over flat Presburger counter systems
S Demri, A Finkel, V Goranko, G van Drimmelen
Journal of Applied Non-Classical Logics 20 (4), 313-344, 2010
402010
Decidability and complete axiomatization of the alternating-time temporal logic
V Goranko, G van Drimmelen
Theoretical Computer Science 353 (1-3), 93-117, 2006
152006
Axiomatic systems for alternating-time temporal epistemic logics
V Goranko, W Jamroga, G van Drimmelen
Proceedings of LOFT'04: The 6th Conference on Logic and the Foundations of …, 2004
62004
Satisfiability in a Logic of Games
GC Van Drimmelen
PQDT-Global, 2003
2003
The system can't perform the operation now. Try again later.
Articles 1–7