modal-logic पर टैग किए गए जवाब

कुछ पृष्ठभूमि: Lukasiewicz कई-मान लॉजिक्स मोडल लॉजिक्स के रूप में इरादा कर रहे थे, और Lukasiewicz एक दिया extensional मोडल ऑपरेटर की परिभाषा: (जो उन्होंने Tarski के लिए जिम्मेदार बताते हैं)।◊ ए =घई च¬ एक → एक◊ए=घइच¬ए→ए\Diamond A =_{def} \neg A \to A यह एक अजीब मोडल तर्क देता है, …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

मैं मोडल लॉजिक्स की तलाश कर रहा हूं, जो कि मोडलिंग नेस्टिंग डेप्थ वन के एक्सिओम्स के एक सीमित सेट द्वारा स्वयंसिद्ध हैं, और जिनकी संतोषजनकता / व्युत्पन्नता की समस्या PSPACE में होने की संभावना नहीं है। मॉडल के घोंसले की गहराई पर प्रतिबंध के बिना यह एक समस्या नहीं …

12 cc.complexity-theory  lo.logic  modal-logic