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 |
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 |
Non-monotonic Reasoning via Dynamic Consequence
|
2022 |
Areces, Carlos |
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic
|
2022 |
Tabatabai, Amirhossein Akbar |
Fixed Point Logics and Definable Topological Properties
|
2022 |
Fernández-Duque, David |
A Logic of “Black Box” Classifier Systems
|
2022 |
Liu, Xinghan |
On the Computational Properties of the Uncountability of the Real Numbers
|
2022 |
Sanders, Sam |
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 |