Graham Wrightson

• Becoming Civilized?
• Automation of reasoning
• Computer money
• Parallelization in inference systems
• Ancient warfare
• Ancient Warfare, Volume II
• Battles of Antiochus the Great
• Becoming Civilized
• Combined Arms Warfare in Ancient Greece
• Combined Arms Warfare in Ancient Greece from Homer to Alexander the Great and His Successors
• Greece, Macedon and Persia
• On some semantic tableau proof procedures for modal logic