Weiter zum Inhalt
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Sprache
Alle Felder
Titel
Verfasser
Schlagwort
Signatur
ISBN/ISSN
Tag
Suchen
Erweitert
Implementation of a cut−free s...
Zitieren
SMS versenden
Als E-Mail versenden
Drucken
Datensatz exportieren
Exportieren nach RefWorks
Exportieren nach EndNoteWeb
Exportieren nach EndNote
Persistenter Link
Implementation of a cut−free sequent calculus for logics with adjoint modalities
Bibliographische Detailangaben
Hauptverfasser:
Kriener, M
,
Dyckhoff, R
Format:
Report
Veröffentlicht:
2009
Exemplare
Beschreibung
Ähnliche Einträge
Internformat
Beschreibung
Zusammenfassung:
Ähnliche Einträge
A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
von: Dyckhoff, R, et al.
Veröffentlicht: (2010)
Loop-free sequent calculus for modal logic K4
von: Julius Andirkonis
Veröffentlicht: (2009-12-01)
Cut free sequent calculus for logic S5n(ED)
von: Haroldas Giedra
Veröffentlicht: (2010-12-01)
Sequent calculus for hybrid logic
von: Stanislovas Norgėla, et al.
Veröffentlicht: (2023-09-01)
Sequent calculus for propositional likelihood logic
von: Romas Alonderis
Veröffentlicht: (2023-09-01)