Deprecated: Optional parameter $prefix declared before required parameter $code is implicitly treated as a required parameter in /home4/wujiewen/public_html/wikinotes/languages/Language.php on line 4267
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home4/wujiewen/public_html/wikinotes/includes/json/FormatJson.php on line 297
Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::open($save_path, $session_name) should either be compatible with SessionHandlerInterface::open(string $path, string $name): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/PHPSessionHandler.php on line 172
Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::close() should either be compatible with SessionHandlerInterface::close(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/PHPSessionHandler.php on line 187
Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::read($id) should either be compatible with SessionHandlerInterface::read(string $id): string|false, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/PHPSessionHandler.php on line 201
Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::write($id, $dataStr) should either be compatible with SessionHandlerInterface::write(string $id, string $data): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/PHPSessionHandler.php on line 229
Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::destroy($id) should either be compatible with SessionHandlerInterface::destroy(string $id): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/PHPSessionHandler.php on line 335
Deprecated: Return type of MediaWiki\Session\PHPSessionHandler::gc($maxlifetime) should either be compatible with SessionHandlerInterface::gc(int $max_lifetime): int|false, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/PHPSessionHandler.php on line 355
Deprecated: Creation of dynamic property LoadBalancer::$mWriteIndex is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/loadbalancer/LoadBalancer.php on line 95
Deprecated: Return type of ResultWrapper::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/db/DatabaseUtility.php on line 174
Deprecated: Return type of ResultWrapper::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/db/DatabaseUtility.php on line 192
Deprecated: Return type of ResultWrapper::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/db/DatabaseUtility.php on line 185
Deprecated: Return type of ResultWrapper::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/db/DatabaseUtility.php on line 202
Deprecated: Return type of ResultWrapper::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/db/DatabaseUtility.php on line 163
Deprecated: Creation of dynamic property LoadBalancer::$mWriteIndex is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/loadbalancer/LoadBalancer.php on line 95
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Return type of MediaWiki\Session\Session::count() should either be compatible with Countable::count(): int, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 555
Deprecated: Return type of MediaWiki\Session\Session::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 560
Deprecated: Return type of MediaWiki\Session\Session::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 570
Deprecated: Return type of MediaWiki\Session\Session::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 565
Deprecated: Return type of MediaWiki\Session\Session::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 580
Deprecated: Return type of MediaWiki\Session\Session::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 575
Deprecated: Return type of MediaWiki\Session\Session::offsetExists($offset) should either be compatible with ArrayAccess::offsetExists(mixed $offset): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 589
Deprecated: Return type of & MediaWiki\Session\Session::offsetGet($offset) should either be compatible with ArrayAccess::offsetGet(mixed $offset): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 601
Deprecated: Return type of MediaWiki\Session\Session::offsetSet($offset, $value) should either be compatible with ArrayAccess::offsetSet(mixed $offset, mixed $value): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 610
Deprecated: Return type of MediaWiki\Session\Session::offsetUnset($offset) should either be compatible with ArrayAccess::offsetUnset(mixed $offset): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home4/wujiewen/public_html/wikinotes/includes/session/Session.php on line 614
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property Revision::$mUnpatrolled is deprecated in /home4/wujiewen/public_html/wikinotes/includes/Revision.php on line 708
Warning: Private methods cannot be final as they are never overridden by other classes in /home4/wujiewen/public_html/wikinotes/includes/actions/Action.php on line 67
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property Revision::$mUnpatrolled is deprecated in /home4/wujiewen/public_html/wikinotes/includes/Revision.php on line 708
Deprecated: Creation of dynamic property WikitextContentHandler::$mModelName is deprecated in /home4/wujiewen/public_html/wikinotes/includes/content/ContentHandler.php on line 454
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property Revision::$mUnpatrolled is deprecated in /home4/wujiewen/public_html/wikinotes/includes/Revision.php on line 708
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Message implements the Serializable interface, which is deprecated. Implement __serialize() and __unserialize() instead (or in addition, if support for old PHP versions is necessary) in /home4/wujiewen/public_html/wikinotes/includes/Message.php on line 159
Deprecated: RawMessage implements the Serializable interface, which is deprecated. Implement __serialize() and __unserialize() instead (or in addition, if support for old PHP versions is necessary) in /home4/wujiewen/public_html/wikinotes/includes/Message.php on line 1232
Deprecated: Creation of dynamic property RequestContext::$recursion is deprecated in /home4/wujiewen/public_html/wikinotes/includes/context/RequestContext.php on line 353
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home4/wujiewen/public_html/wikinotes/languages/LanguageConverter.php on line 715
Deprecated: Creation of dynamic property MessageCache::$localCache is deprecated in /home4/wujiewen/public_html/wikinotes/includes/cache/MessageCache.php on line 159
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Using ${var} in strings is deprecated, use {$var} instead in /home4/wujiewen/public_html/wikinotes/includes/parser/Parser.php on line 4655
Deprecated: Using ${var} in strings is deprecated, use {$var} instead in /home4/wujiewen/public_html/wikinotes/includes/parser/Parser.php on line 4658
Deprecated: Using ${var} in strings is deprecated, use {$var} instead in /home4/wujiewen/public_html/wikinotes/includes/parser/Parser.php on line 4664
Deprecated: Using ${var} in strings is deprecated, use {$var} instead in /home4/wujiewen/public_html/wikinotes/includes/parser/Parser.php on line 4667
Deprecated: Creation of dynamic property Parser::$mPreprocessorClass is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Parser.php on line 280
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property Revision::$mUnpatrolled is deprecated in /home4/wujiewen/public_html/wikinotes/includes/Revision.php on line 708
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property WikitextContent::$mText is deprecated in /home4/wujiewen/public_html/wikinotes/includes/content/TextContent.php on line 56
Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/languages/Language.php on line 2075
Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/languages/Language.php on line 2075
Deprecated: explode(): Passing null to parameter #2 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/languages/Language.php on line 2075
Deprecated: Optional parameter $label declared before required parameter $alt is implicitly treated as a required parameter in /home4/wujiewen/public_html/wikinotes/includes/Linker.php on line 726
Deprecated: Optional parameter $label declared before required parameter $alt is implicitly treated as a required parameter in /home4/wujiewen/public_html/wikinotes/includes/DummyLinker.php on line 144
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property PoolWorkArticleView::$poolCounter is deprecated in /home4/wujiewen/public_html/wikinotes/includes/poolcounter/PoolCounterWork.php on line 39
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStackElement::$startPos is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 860
Deprecated: Creation of dynamic property PPDStackElement::$startPos is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 860
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStackElement::$startPos is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 860
Deprecated: Creation of dynamic property PPDStackElement::$startPos is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 860
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 104
Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 104
Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 105
Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 105
Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 106
Warning: Trying to access array offset on value of type null in /home4/wujiewen/public_html/wikinotes/includes/profiler/SectionProfiler.php on line 106
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /home4/wujiewen/public_html/wikinotes/includes/WebResponse.php on line 42
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /home4/wujiewen/public_html/wikinotes/includes/WebResponse.php on line 42
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /home4/wujiewen/public_html/wikinotes/includes/WebResponse.php on line 42
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property MonoBookTemplate::$data is deprecated in /home4/wujiewen/public_html/wikinotes/includes/skins/QuickTemplate.php on line 35
Deprecated: Creation of dynamic property MonoBookTemplate::$translator is deprecated in /home4/wujiewen/public_html/wikinotes/includes/skins/QuickTemplate.php on line 36
Deprecated: trim(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/skins/SkinTemplate.php on line 354
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Optional parameter $attribs declared before required parameter $contents is implicitly treated as a required parameter in /home4/wujiewen/public_html/wikinotes/includes/Xml.php on line 131
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753
Deprecated: Creation of dynamic property BufferingStatsdDataFactory::$prefix is deprecated in /home4/wujiewen/public_html/wikinotes/includes/libs/stats/BufferingStatsdDataFactory.php on line 40
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
Deprecated: Creation of dynamic property PPDStack::$accum is deprecated in /home4/wujiewen/public_html/wikinotes/includes/parser/Preprocessor_DOM.php on line 753 Modal Logic - Wiki Notes @ WuJiewen.com, by Jiewen Wu
Modal Logic
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Revision as of 13:17, 5 November 2009 by Admin(talk | contribs)(New page: ==Syntax== ==Semantics==)
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /home4/wujiewen/public_html/wikinotes/includes/WebResponse.php on line 42
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /home4/wujiewen/public_html/wikinotes/includes/WebResponse.php on line 42
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /home4/wujiewen/public_html/wikinotes/includes/WebResponse.php on line 42
Deprecated: header(): Passing null to parameter #3 ($response_code) of type int is deprecated in /home4/wujiewen/public_html/wikinotes/includes/WebResponse.php on line 42
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home4/wujiewen/public_html/wikinotes/includes/db/Database.php on line 1742
