Câu hỏi được gắn thẻ «modal-logic»

Một số nền tảng: :ukasiewicz lôgic có giá trị được dự định là logic phương thức, và Łukasiewicz đã đưa ra một định nghĩa mở rộng của toán tử phương thức: (mà anh ta gán cho Tarski).◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Điều này đưa ra một logic phương …

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

Tôi đang tìm kiếm logic phương thức, được tiên đề hóa bởi một tập hợp hữu hạn của độ sâu lồng nhau phương thức một, và vấn đề thỏa mãn / khả năng dẫn xuất của nó không có khả năng xảy ra trong PSPACE. Nếu không có giới hạn …

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

Sự phức tạp của vấn đề thỏa mãn cục bộ đối với logic phương thức gì? Ở đây chúng tôi biểu thị bằng logic phương thức trên các khung euclide được mở rộng với phương thức nghịch đảo. Bạn có thể cung cấp bất kỳ tài liệu tham khảo? Có …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic