| Interval Probability for Sessions Types
|
2022 |
Aman, Bogdan |
| Combinatorial Flows as Bicolored Atomic Flows
|
2022 |
Omidvar, Giti |
| Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
|
2022 |
Sedlár, Igor |
| Material Dialogues for First-Order Logic in Constructive Type Theory
|
2022 |
Wehr, Dominik |
| Time and Gödel: Fuzzy Temporal Reasoning in PSPACE
|
2022 |
Aguilera, Juan Pablo |
| What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?
|
2022 |
Matsuda, Naosuke |
| The Alternation Hierarchy of the u-calculus over Weakly Transitive Frames
|
2022 |
Pacheco, Leonardo |
| Logic of Visibility in Social Networks
|
2022 |
Galimullin, Rustam |
| The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable
|
2022 |
Ditmarsch, Hans van |
| Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations
|
2022 |
Dalmonte, Tiziano |
| Strongly First Order, Domain Independent Dependencies: The Union- Closed Case
|
2022 |
Galliani, Pietro |
| Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
|
2022 |
Bednarczyk, Bartosz |
| Abstract Cyclic Proofs
|
2022 |
Afshari, Bahareh |
| A Proof of the Focusing Theorem via MALL Proof Nets
|
2022 |
Maieli, Roberto |
| Correspondence Theory for Generalized Modal Algebras
|
2022 |
Zhao, Zhiguang |
| Tense Logics over Lattices
|
2022 |
Wang, Xiaoyang |
| Multityped Abstract Categorial Grammars and Their Composition
|
2022 |
Ludmann, Pierre |
| Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability
|
2022 |
Yamakami, Tomoyuki |
| Additive Types in Quantitative Type Theory
|
2022 |
Šefl, Vit |
| Subordination Algebras as Semantic Environment of Input/Output Logic
|
2022 |
Domenico, Andrea De |
Tag hinzufügen