We provide a treatment of the intuitionistic ◊ modality in the style of justification logic. We introduce a new type of terms, called satisfiers, that justify consistency, obtain justification analogs for the constructive modal logics CK, CD, CT, and CS4, and prove the realization theorem for them.
en
Projekttitel:
Ein logisches Bezugssystem für Dialogspiele: P25417-G15 (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) Verschachtelte Sequenzen für Interpolation und Realisation: M 1770-N25 (Vereine, Stiftungen, Preise) High-dimensional statistical learning: New methods to advance economic andsustainability policies: ZK 35-G (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) The Fine Structure of Formal Proof Systems and their Computational Interpretations - nationale Forschungspartnerschaft mit Georg Moser/Universität Innsbruck: I 2671-N35 (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) Reasoning about Knowledge in Byzantine Distributed Systems: P 33600-N (FWF - Österr. Wissenschaftsfonds)
-
Projekt (extern):
ERC Advanced Grant Austrian–French Scientific & Technological Cooperation Amadeus/Amadée grant
-
Projektnummer:
ProofCert Analytic Calculi for Modal Logic
-
Forschungsschwerpunkte:
Computer Engineering and Software-Intensive Systems: 100%
CC BY-NC-ND 4.0
