Μετάβαση στο περιεχόμενο
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
Монгол
Γλώσσα
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Implementation of a cut−free s...
Εμφάνιση παραπομπής
Αποστολή με SMS
Αποστολή με email
Εκτύπωση
Αποθήκευση
Αποθήκευση σε RefWorks
Αποθήκευση σε EndNoteWeb
Αποθήκευση σε EndNote
Μόνιμος σύνδεσμος
Implementation of a cut−free sequent calculus for logics with adjoint modalities
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:
Kriener, M
,
Dyckhoff, R
Μορφή:
Report
Έκδοση:
2009
Τεκμήρια
Περιγραφή
Παρόμοια τεκμήρια
Λεπτομερής προβολή
Περιγραφή
Περίληψη:
Παρόμοια τεκμήρια
A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
ανά: Dyckhoff, R, κ.ά.
Έκδοση: (2010)
Loop-free sequent calculus for modal logic K4
ανά: Julius Andirkonis
Έκδοση: (2009-12-01)
Cut free sequent calculus for logic S5n(ED)
ανά: Haroldas Giedra
Έκδοση: (2010-12-01)
Sequent calculus for hybrid logic
ανά: Stanislovas Norgėla, κ.ά.
Έκδοση: (2023-09-01)
Sequent calculus for propositional likelihood logic
ανά: Romas Alonderis
Έκδοση: (2023-09-01)