{"product_id":"dexter-kozen-logic-language-information-and-computation-9783031995354","title":"Logic, Language, Information, and Computation","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.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53731680223574,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/dexter-kozen-logic-language-information-and-computation-9783031995354","provider":"momoxbooks","version":"1.0","type":"link"}