| Formalized Soundness and Completeness of Epistemic Logic
|
2021 |
From, Asta Halkjoer |
| A General Relational Semantics of Propositional Logic: Axiomatization
|
2021 |
Zhong, Shengyang |
| Orthogonal Frames and Indexed Relations
|
2021 |
Balbiani, Philippe |
| On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties
|
2021 |
Kontinen, Juha |
| A Pure View of Ecumenical Modalities
|
2021 |
Marin, Sonia |
| A Logical Characterization of Constant-Depth Circuits over the Reals
|
2021 |
Barlag, Timon |
| Modal Logic via Global Consequence
|
2021 |
Wen, Xuefeng |
| Games for Hybrid Logic: From Semantic Games to Analytic Calculi
|
2021 |
Freiman, Robert |
| Analysis in a Formal Predicative Set Theory
|
2021 |
Levi, Nissan |
| Coherence via Focusing for Symmetric Skew Monoidal Categories
|
2021 |
Veltri, Niccolò |
| Computable Execution Traces
|
2021 |
Thompson, Declan |
| Explicit Non-normal Modal Logic
|
2021 |
Rohani, Atefeh |
| Verifying the Conversion into CNF in Dafny
|
2021 |
Tordache, Viorel |
| On the Subtle Nature of a Simple Logic of the Hide and Seek Game
|
2021 |
Li, Dazhu |
| Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution
|
2021 |
Catta, Davide |
| Axiomatic Reals and Certified Efficient Exact Real Computation
|
2021 |
Konečný, Michal |
| Characterizations for XPathy R(|)
|
2021 |
Gozález, Nicolás |
| Uniform Interpolation via Nested Sequents
|
2021 |
Giessen, Iris van der |
| Algorithmically Broad Languages for Polynomial Time and Space
|
2021 |
Leivant, Daniel |
| Provability Games for Non-classical Logics: Mezhirov Game for MPC, KD! and KD
|
2021 |
Paylova, Alexandra |
Tag hinzufügen