Verwandte Artikel zu Displaying Modal Logic
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
Preface. 1. Introduction. 2. Sequents Generalized. 3. Display Logic. 4. Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination. 5. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics. 6. Modal Tableaux Based on Residuation. 7. Strong Cut-Elimination and Labelled Modal Tableaux. 8. Tarskian Structured Consequence Relations and Functional Completeness. 9. Constructive Negation and the Modal Logic of Consistency. 10. Displaying as Temporalizing. 11. Translation of Hypersequents into Display Sequents. 12. Predicate Logics on Display. 13. Appendix. Bibliography. Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!
Kaufgesuch aufgeben
