Als «modal-logic» getaggte Fragen

1
Suchen Sie Papiere und Artikel über die Tarskian Möglichkeit
Einige Hintergrundinformationen: Łukasiewicz-Logiken mit vielen Werten waren als modale Logiken gedacht, und Łukasiewicz gab eine erweiterte Definition des modalen Operators an: ◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A (den er Tarski zuschreibt). Daraus ergibt sich eine seltsame Modallogik, mit etwas paradox, wenn nicht scheinbar absurde Sätze, insbesondere . Ersetzen Sie …

2
Modallogiken, die mit einer Schachtelungstiefe axiomatisiert sind, die in PSPACE wahrscheinlich nicht vorhanden ist?
Ich suche nach Modallogiken, die durch eine endliche Menge von Axiomen der Modal Nesting Depth 1 axiomatisiert werden und deren Erfüllbarkeits- / Ableitbarkeitsproblem wahrscheinlich nicht in PSPACE vorliegt. Ohne die Einschränkung der modalen Verschachtelungstiefe ist dies kein Problem, siehe zum Beispiel PDL. Es scheint jedoch, dass zum Nachweis der EXPTIME-Härte …

1
Komplexität der Modallogik IK5
Was ist die Komplexität des lokalen Erfüllbarkeitsproblems für modale Logik ? Hier bezeichnen wir mit die Modallogik über euklidische Rahmen, die mit inverser Modalität erweitert wurden. Könnten Sie Referenzen angeben? Ist es in ?I K 5IK5\mathit{IK5}ichK.5IK5IK5N.P.NPNP Was weiß ich über das Thema? Es ist leicht zu erkennen, dass sich in …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.