Pertanyaan yang diberi tag «modal-logic»

Beberapa latar belakang: Łukasiewicz logika bernilai tinggi dimaksudkan sebagai modal logika, dan Łukasiewicz memberikan definisi ekstensional dari operator modal: (yang ia kaitkan dengan Tarski).◊ A =de f¬ A → A◊SEBUAH=def¬SEBUAH→SEBUAH\Diamond A =_{def} \neg A \to A Ini memberikan logika modal yang aneh, dengan beberapa teorema paradoks, jika tidak tampak absurd, …

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

Saya mencari logika modal, yang dixiomatiskan oleh serangkaian aksioma terbatas dari modal nesting depth one, dan yang masalah kelayakan / derabilitasnya tidak mungkin terjadi di PSPACE. Tanpa batasan pada modal nesting depth ini bukan masalah, lihat misalnya PDL. Tetapi tampaknya dalam membuktikan misalnya EXPTIME-hardness dengan mereduksi ke beberapa jenis masalah …

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

Apa kompleksitas masalah kepuasan lokal untuk modal logika ? Di sini kita dilambangkan oleh I K 5 logika modal atas bingkai euclidean diperpanjang dengan modalitas terbalik. Bisakah Anda memberikan referensi? Apakah dalam N P ?I K 5IK5\mathit{IK5}sayaK5IK5IK5NPNPNP Apa yang saya ketahui tentang topik ini? Sangat mudah untuk melihat bahwa ada …

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