Logics แบบโมดูลัสที่มีความลึกแบบรังซึ่งไม่น่าจะเป็นใน PSPACE?


12

ฉันกำลังมองหาคำกริยาตรรกศาสตร์ซึ่งเป็น axiomatised โดยชุด จำกัด ของสัจพจน์ของความลึกรังนกกิริยาหนึ่งและมีปัญหาความพึงพอใจ / derivations ไม่น่าจะอยู่ใน PSPACE หากไม่มีข้อ จำกัด เกี่ยวกับความลึกการซ้อนคำกริยานี่ไม่ใช่ปัญหาดูตัวอย่าง PDL แต่ดูเหมือนว่าในการพิสูจน์ตัวอย่างความแข็ง EXPTIME โดยการลดปัญหาการเรียงต่อกันหรือปัญหาการยอมรับสำหรับเครื่องทัวริงใคร ๆ ก็ต้องมีการถ่ายโอนความรู้สึกบางอย่างซึ่งเป็น axiomatised ในระดับความลึกที่สอง นอกจากนี้ยังมี logics undecidable ที่มี modality แบบไบนารี (Kurucz et al .: logics ที่ decidable และ undecidable ที่มี binary modality , 1995) แต่สิ่งเหล่านี้มักจะต้องการการเชื่อมโยงซึ่งเป็นความลึกสองเช่นกัน ในเงื่อนไขเชิงตรรกะอีกครั้งดูเหมือนว่าเราต้องการความลึกระดับสองสำหรับค่า EXPTIME-hardness (Friedman, Halpern:ในความซับซ้อนของ Logics ตามเงื่อนไข , 1994)

เราจะได้ความแข็ง EXPTIME ด้วยสัจพจน์ของความลึกการซ้อนหนึ่ง

ข้อมูลประกอบ:เรากำลังพยายามค้นหาขั้นตอนการตัดสินใจทั่วไปที่มีความซับซ้อนที่ดีสำหรับ logics axiomatised ที่มีความลึกซ้อนกัน

คำตอบ:


4

!A!A!!A

(ฉันไปได้ไกลมากจากนั้นฉันก็ติด - ซึ่งเป็นสาเหตุที่คำตอบนี้ช้าเกินไป)

!A

Link: Ugo dal Lago และ Simone Martini, ซีแมนติกเฟสและความสามารถในการตัดสินใจของลอจิสติกระดับต้น


0

ฉันจะขอแนะนำให้อ่านแบเดอ Rijke และ Venema หนังสือModal ลอจิก


2
จากคำถามที่ใช้เป็นวลีดูเหมือนว่าค่อนข้างชัดเจนว่า Bjoern คุ้นเคยกับหนังสือเล่มนี้ค่อนข้างมาก
András Salamon

ในขณะที่อ่านหนังสือเล่มนี้เป็นความคิดที่ดีเสมอฉันไม่สามารถหาข้อมูลเกี่ยวกับคำถามของฉันได้ ตัวอย่างสำหรับ EXPTIME-hardness (หรือ undecidability) ทั้งหมดใช้ axiomatisation เชิงลึก 2 (หรือมากกว่า) ซึ่งส่วนใหญ่ใช้สำหรับความสัมพันธ์การเข้าถึงแบบสกรรมกริยา คุณมีหัวข้อ / ตัวอย่างเฉพาะอยู่ในใจหรือไม่?
Bjoern Lellmann

1
ฉันคิดว่าคุณได้ลงทะเบียนบัญชีใหม่ด้วยชื่อเดียวกันซึ่งเป็นสาเหตุที่คุณไม่สามารถแสดงความคิดเห็นได้ ผู้ดำเนินรายการควรรวมบัญชีเหล่านี้ได้ไหม ..
Neel Krishnaswami

@Bjoern ทำตามที่ร้องขอ (ปัญหา: ดูเหมือนว่า Neel บอกว่าคุณสร้างบัญชีใหม่ในขณะที่คุณใช้บัญชีผู้ใช้ที่ไม่ได้ลงทะเบียนอื่นเพื่อโพสต์คำถามฉันรวมบัญชีของคุณดังนั้นคุณไม่ควรมีปัญหาในการแสดงความคิดเห็นอีกต่อไป (อาจใช้เวลาสองสามชั่วโมง ฐานข้อมูลของระบบที่จะอัปเดต) แจ้งให้เราทราบหากปัญหายังคงมีอยู่)
Kaveh
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.