# HG changeset patch
# User HackBot
# Date 1466053010 0
# Node ID 3263626338f2c6cbaf96774a6aa64c9a3df56f61
# Parent  1b252024891658971f3da7daf72557290a9ee380
<shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).

diff -r 1b2520248916 -r 3263626338f2 wisdom/modal logic
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/modal logic	Thu Jun 16 04:56:50 2016 +0000
@@ -0,0 +1,1 @@
+"modal logic" means "the most common logic" (that is, classical logic).