26 results on '"Hirvonen, Åsa"'
Search Results
2. Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints
3. Expressivity of Many-Valued Modal Logics, Coalgebraically
4. Justified Belief and the Topology of Evidence
5. Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
6. The Expressive Power of k-ary Exclusion Logic
7. Cut Elimination for Gödel Logic with an Operator Adding a Constant
8. Compactness in Infinitary Gödel Logics
9. Anaphors and Quantifiers
10. A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
11. Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
12. Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited
13. The Semantics of Corrections
14. Semantic Equivalence of Graph Polynomials Definable in Second Order Logic
15. A Curry–Howard View of Basic Justification Logic
16. On the Formalization of Some Results of Context-Free Language Theory
17. Categories: How I Learned to Stop Worrying and Love Two Sorts
18. The Useful MAM, a Reasonable Implementation of the Strong -Calculus
19. Sheaves of Metric Structures
20. On the Complexity of the Equational Theory of Residuated Boolean Algebras
21. A Multi-type Calculus for Inquisitive Logic
22. Descriptive Complexity of Graph Spectra
23. True Concurrency of Deep Inference Proofs
24. A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
25. Causality in Bounded Petri Nets is MSO Definable
26. A Logical Approach to Context-Specific Independence
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.