Domande taggate «modal-logic»

In cerca di documenti e articoli sul Tarskian Möglichkeit

Alcuni retroscena: le logiche a molti valori di Łukasiewicz erano intese come logiche modali e Łukasiewicz ha dato una definizione estesa dell'operatore modale: (che attribuisce a Tarski).◊ A =de f¬ A → A◊UN=def¬UN→UN\Diamond A =_{def} \neg A \to A Questo dà una strana logica modale, con un po 'paradossale, se …

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

Logiche modali assiomatizzate con profondità di annidamento una che difficilmente si trovano in PSPACE?

Sto cercando logiche modali, che sono assiomatizzate da un insieme finito di assiomi di profondità di annidamento modale uno e il cui problema di soddisfacibilità / derivabilità è improbabile che si trovi in PSPACE. Senza la limitazione sulla profondità di annidamento modale, questo non è un problema, vedere ad esempio …

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

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.