{"product_id":"logic-language-information-and-computation-9783031995354","title":"Logic Language Information and Computation","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e.- Deep Induction for Inductive Families\u003cbr\u003e.- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables.\u003cbr\u003e.- Logics of Importation and Exportation for the Implicative Conditional.\u003cbr\u003e.- Paraconsistent Constructive Modal Logic.\u003cbr\u003e.- . Convergence laws for expansions of linear preorders.\u003cbr\u003e.- Indicative conditionals: algebraic considerations.\u003cbr\u003e.- Abstracting Conceptual Models as a Weakening Process.\u003cbr\u003e.- . Axiomatization and Decidability of Tense Information Logic.\u003cbr\u003e.- Infinitary Refinement Types for Temporal Properties in Scott Domains.\u003cbr\u003e.- On tame semantics for interpretability logic.\u003cbr\u003e.- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels.\u003cbr\u003e.- Insensitive Games: Game Semantics for Modal Insensitivity.\u003cbr\u003e.- . Index set complexity for congruence lattices of lattices.\u003cbr\u003e.- The Satisfiability Problem in a Separation Logic of Relations.\u003cbr\u003e.- Graded Relation Updates in Modal Logic.\u003cbr\u003e.- Proof Search in Classical Propositional Logic with Partial Proof Terms.\u003cbr\u003e.- A significance-based account of ceteris paribus counterfactuals.\u003cbr\u003e.- Tabular intermediate logics comparison.\u003cbr\u003e.-  Insignificant Choice Polynomial Time -- A Logic Capturing PTIME.\u003cbr\u003e.-  Counterexamples to Import-Export in Conditionals: A Logical Analysis.\u003c\/p\u003e","brand":"Springer International Publishing AG","offers":[{"title":"Default Title","offer_id":53195507925335,"sku":"9783031995354","price":56.99,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/logic-language-information-and-computation-9783031995354","provider":"Book Curl","version":"1.0","type":"link"}