«modal-logic» etiketlenmiş sorular

Bazı arka plan: Lukasiewicz çok değerli mantık modal lojiği olarak tasarlanmıştır ve Lukasiewicz bir verdi gerilmeli kalıcı operatörün tanımı: (o Tarski nitelikleri).◊ A =de f¬ A → A◊bir=def¬bir→bir\Diamond A =_{def} \neg A \to A Bu, garip bir modal mantık verir, görünüşte saçma değilse de bazı paradoksal teoremler, özellikle . Yedek …

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

Modal yuvalama derinliği 1'in bir dizi aksiyomu tarafından aksiyomatik hale getirilen ve memnuniyet / türetilebilirlik probleminin PSPACE'de olması muhtemel olmayan modal mantıkları arıyorum. Kalıcı yuvalama derinliği üzerindeki kısıtlama olmadan bu bir sorun değildir, örneğin PDL'ye bakınız. Ancak, Turing makineleri için bir çeşit döşeme problemine veya kabul problemine indirgeyerek örneğin EXPTIME …

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