Aller au contenu
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
Монгол
Langue
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Tag
Rechercher
Recherche avancée
Implementation of a cut−free s...
Citer
Envoyer par SMS
Envoyer par courriel
Imprimer
Exporter les notices
Exporter vers RefWorks
Exporter vers EndNoteWeb
Exporter vers EndNote
Permalien
Implementation of a cut−free sequent calculus for logics with adjoint modalities
Détails bibliographiques
Auteurs principaux:
Kriener, M
,
Dyckhoff, R
Format:
Report
Publié:
2009
Exemplaires
Description
Documents similaires
Affichage MARC
Description
Résumé:
Documents similaires
A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
par: Dyckhoff, R, et autres
Publié: (2010)
Loop-free sequent calculus for modal logic K4
par: Julius Andirkonis
Publié: (2009-12-01)
Cut free sequent calculus for logic S5n(ED)
par: Haroldas Giedra
Publié: (2010-12-01)
Sequent calculus for hybrid logic
par: Stanislovas Norgėla, et autres
Publié: (2023-09-01)
Sequent calculus for propositional likelihood logic
par: Romas Alonderis
Publié: (2023-09-01)