Logic, Language, Information, and Computation, Kartoniert / Broschiert
Logic, Language, Information, and Computation
- 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Dexter Kozen, Ruy De Queiroz
- Verlag:
- Springer, 08/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031995354
- Artikelnummer:
- 12481066
- Umfang:
- 384 Seiten
- Gewicht:
- 581 g
- Maße:
- 235 x 155 mm
- Stärke:
- 21 mm
- Erscheinungstermin:
- 1.8.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
.- 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.
