Pytania otagowane jako modal-logic

1
Szukasz artykułów i artykułów na temat Tarskian Möglichkeit
Pewne tło: logika wielowartościowa Łukasiewicza miała być logiką modalną, a Łukasiewicz podał ekstensywną definicję operatora modalnego: ◊ A =ree f¬ A → A◊ZA=remifa¬ZA→ZA\Diamond A =_{def} \neg A \to A (który przypisuje Tarskiemu). Daje to dziwną logikę modalną, z pewnymi paradoksalnymi, jeśli nie pozornie absurdalnymi twierdzeniami, w szczególności . Zastępca ¬ …
2
Logika modalna aksjatyzowana z taką głębokością zagnieżdżenia, która raczej nie znajdzie się w PSPACE?
Szukam logiki modalnej, która jest aksjatyzowana przez skończony zestaw aksjomatów modalnej głębokości zagnieżdżenia, i których problem z zadowalalnością / pochodnością jest mało prawdopodobny w PSPACE. Bez ograniczenia modalnej głębokości zagnieżdżania nie stanowi to problemu, patrz na przykład PDL. Wydaje się jednak, że dowodząc na przykład twardości WYJĄTKOWEJ poprzez redukcję do …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.