| 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 |
| 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 |
| 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 |
Tag hinzufügen