Logic, Language, Information and Computation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Characterisation of Definable NP Search Problems in Peano Arithmetic
3. Altmetric Badge
   Chapter 2 Algebraic Valuations as Behavioral Logical Matrices
4. Altmetric Badge
   Chapter 3 Logic, Language, Information and Computation
5. Altmetric Badge
   Chapter 4 Mathematical Logic for Life Science Ontologies
6. Altmetric Badge
   Chapter 5 Recognizability in the Simply Typed Lambda-Calculus
7. Altmetric Badge
   Chapter 6 Logic, Language, Information and Computation
8. Altmetric Badge
   Chapter 7 Completions of Basic Algebras
9. Altmetric Badge
   Chapter 8 Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
10. Altmetric Badge
    Chapter 9 Observational Completeness on Abstract Interpretation
11. Altmetric Badge
    Chapter 10 Logic, Language, Information and Computation
12. Altmetric Badge
    Chapter 11 Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
13. Altmetric Badge
    Chapter 12 First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
14. Altmetric Badge
    Chapter 13 On-the-Fly Macros
15. Altmetric Badge
    Chapter 14 Abductive Logic Grammars
16. Altmetric Badge
    Chapter 15 On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
17. Altmetric Badge
    Chapter 16 Observational Effort and Formally Open Mappings
18. Altmetric Badge
    Chapter 17 Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
19. Altmetric Badge
    Chapter 18 Property Driven Three-Valued Model Checking on Hybrid Automata
20. Altmetric Badge
    Chapter 19 Team Logic and Second-Order Logic
21. Altmetric Badge
    Chapter 20 Ludics and Its Applications to Natural Language Semantics
22. Altmetric Badge
    Chapter 21 Spoilt for Choice: Full First-Order Hierarchical Decompositions
23. Altmetric Badge
    Chapter 22 Classic-Like Analytic Tableaux for Finite-Valued Logics
24. Altmetric Badge
    Chapter 23 A Duality for Algebras of Lattice-Valued Modal Logic
25. Altmetric Badge
    Chapter 24 An Independence Relation for Sets of Secrets
26. Altmetric Badge
    Chapter 25 Expressing Extension-Based Semantics Based on Stratified Minimal Models
27. Altmetric Badge
    Chapter 26 Deep Inference in Bi-intuitionistic Logic
28. Altmetric Badge
    Chapter 27 $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
29. Altmetric Badge
    Chapter 28 Ehrenfeucht-Fraïssé Games on Random Structures
30. Altmetric Badge
    Chapter 29 Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
31. Altmetric Badge
    Chapter 30 The Arrow Calculus as a Quantum Programming Language
32. Altmetric Badge
    Chapter 31 Knowledge, Time, and Logical Omniscience