| Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Comlexes
|
2021 |
Ditmarsch, Hans van |
| Doubly Strongly First Order Dependencies
|
2021 |
Galliani, Pietro |
| Meaning and Computing: Two Anpproaches to Propositions
|
2021 |
Pezlar, Ivo |
| Uniform Lyndon Interpolation for Basic Non-normal Modal Logics
|
2021 |
Tabatabai, Amirhossein Akbar |
| Disjunction and Negation in Information Based Semantics
|
2021 |
Punčochář, Vit |
| 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 |
| 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 |
Tag hinzufügen