Search

Your search keyword '"Hansen, Helle Hvid"' showing total 26 results

Search Constraints

Start Over You searched for: Author "Hansen, Helle Hvid" Remove constraint Author: "Hansen, Helle Hvid" Publisher springer nature switzerland Remove constraint Publisher: springer nature switzerland
26 results on '"Hansen, Helle Hvid"'

Search Results

1. Correspondence Between Composite Theories and Distributive Laws

3. An Evidence Logic Perspective on Schotch-Jennings Forcing

4. Two-Layered Logics for Paraconsistent Probabilities

5. Effective Skolemization

6. Conditional Obligations in Justification Logic

7. Learning Context-Free Grammars from Positive Data and Membership Queries

9. Quantitative Global Memory

10. An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

11. Subsumption-Linear Q-Resolution for QBF Theorem Proving

12. Maximally Multi-focused Proofs for Skew Non-Commutative MILL

13. Decidability of Modal Logics of Non-k-Colorable Graphs

14. Relevant Reasoning and Implicit Beliefs

15. Parameterized Complexity of Propositional Inclusion and Independence Logic

16. Towards an Induction Principle for Nested Data Types

17. Parallelism in Realizability Models

18. Aleatoric Propositions: Reasoning About Coins

19. Focus-Style Proofs for the Two-Way Alternation-Free -Calculus

20. Bisimulations Between Verbrugge Models and Veltman Models

21. Structural Completeness and Superintuitionistic Inquisitive Logics

22. Validity in Choice Logics : A Game-Theoretic Investigation

24. A Short Introduction to SHACL for Logicians

25. A Separation Logic with Histories of Epistemic Actions as Resources

26. Correction to: Decidability of Modal Logics of Non-k-Colorable Graphs

Catalog

Books, media, physical & digital resources