Logic, Language, Information, and Computation -

. .

Résumé :
.- 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....

Biographie:

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

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