Placeholder text

Go to cart

Logic, Language, Information, and Computation

By Dexter Kozen

Logic, Language, Information, and Computation

By Dexter Kozen

0 - Default Title
Description
.- Deep Induction for Inductive Families.- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables..- Logics of Importation and Exportation for the Implicative Conditional..- Paraconsistent Constructive Modal Logic..- . Convergence laws for expansions of linear preorders..- Indicative conditionals: algebraic considerations..- Abstracting Conceptual Models as a Weakening Process..- . Axiomatization and Decidability of Tense Information Logic..- Infinitary Refinement Types for Temporal Properties in Scott Domains..- On tame semantics for interpretability logic..- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels..- Insensitive Games: Game Semantics for Modal Insensitivity..- . Index set complexity for congruence lattices of lattices..- The Satisfiability Problem in a Separation Logic of Relations..- Graded Relation Updates in Modal Logic..- Proof Search in Classical Propositional Logic with Partial Proof Terms..- A significance-based account of ceteris paribus counterfactuals..- Tabular intermediate logics comparison..- Insignificant Choice Polynomial Time -- A Logic Capturing PTIME..- Counterexamples to Import-Export in Conditionals: A Logical Analysis.
Product details
Binding:
Paperback
Number of Pages:
384
Release Date:
2025-08-01
Publication Date:
2025-08-01
Publisher:
Springer
Languages:
Original: English
ISBN10:
303199535X
ISBN13:
9783031995354
GPSR Manufacturer Reference:
[email protected]
Weight:
581 g
Height:
155 cm
Width:
235 cm
Thickness:
21 cm
Buy on Amazon
Currently sold out