Search

Your search keyword '"Hirvonen, Åsa"' showing total 26 results

Search Constraints

Start Over You searched for: Author "Hirvonen, Åsa" Remove constraint Author: "Hirvonen, Åsa" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
26 results on '"Hirvonen, Åsa"'

Search Results

1. Second-Order False-Belief Tasks: Analysis and Formalization

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