Description

Book Synopsis

.- 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.

Logic Language Information and Computation

    Product form

    £56.99

    Includes FREE delivery

    RRP £59.99 – you save £3.00 (5%)

    Order before 4pm today for delivery by Tue 16 Jun 2026.

    Out of stock


      View other formats and editions of Logic Language Information and Computation by

      Publisher: Springer International Publishing AG
      Publication Date: 04/10/2025
      ISBN13: 9783031995354, 978-3031995354
      ISBN10:

      Description

      Book Synopsis

      .- 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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account