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
Project title:
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)
-
Project (external):
ERC Advanced Grant Austrian–French Scientific & Technological Cooperation Amadeus/Amadée grant
-
Project ID:
ProofCert Analytic Calculi for Modal Logic
-
Research Areas:
Computer Engineering and Software-Intensive Systems: 100%
CC BY-NC-ND 4.0
