Texas Next edit →Content deleted Content addedVisualWikitextInline Revision as of 20:41, 5 March 2006 Fresheneesz (talk | contribs)Extended confirmed users9,037 edits renamingNext edit → (No difference) Revision as of 20:41, 5 March 2006 Redirect to:Dynamic logic (modal logic)