Copertina

Parametric equations for temporal style assertions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Yodaiken, Victor
Natura:	Preprint
Pubblicazione:	2016
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Solving the insecurity problem for assertions
di: Ramanujam, R, et al.
Pubblicazione: (2023)

Inferring multiple helper Dafny assertions with LLMs
di: Silva, Álvaro, et al.
Pubblicazione: (2025)

Birkhoff style proof systems for hybrid-dynamic quantum logic
di: Gaina, Daniel
Pubblicazione: (2024)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
di: Alvarez, David Quinn
Pubblicazione: (2025)

Parametric Iteration in Resource Theories
di: Di Giorgio, Alessandro, et al.
Pubblicazione: (2025)

Parametric disjunctive timed networks
di: André, Étienne, et al.
Pubblicazione: (2025)

Nominal Type Theory by Nullary Internal Parametricity
di: Van Muylder, Antoine, et al.
Pubblicazione: (2025)

On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
di: Goncharov, Sergey
Pubblicazione: (2024)

An abstract fixed-point theorem for Horn formula equations
di: Hetzl, Stefan, et al.
Pubblicazione: (2025)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
di: André, Étienne, et al.
Pubblicazione: (2023)

Bilateral base-extension semantics
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Substructural Parametricity
di: Aberlé, C. B., et al.
Pubblicazione: (2025)

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
di: Sawasaki, Takahiro
Pubblicazione: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
di: Mertens, Hannah, et al.
Pubblicazione: (2025)

One-Parametric Presburger Arithmetic has Quantifier Elimination
di: Mansutti, Alessio, et al.
Pubblicazione: (2025)

Deep Learning with Parametric Lenses
di: Cruttwell, Geoffrey S. H., et al.
Pubblicazione: (2024)

A Unified Gentzen-style Framework for Until-free LTL
di: Kamide, Norihiro, et al.
Pubblicazione: (2024)

A logic for temporal conditionals and a solution to the Sea Battle Puzzle
di: Ju, Fengkui, et al.
Pubblicazione: (2017)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
di: Bozzelli, L., et al.
Pubblicazione: (2022)

Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data
di: Vana, Laura, et al.
Pubblicazione: (2021)

Analyzing Value Functions of States in Parametric Markov Chains
di: Engelen, Kasper, et al.
Pubblicazione: (2025)

Revisiting the expressiveness of metric temporal logic : A tale of "Je t'aime, moi non plus."
di: Foughali, Mohammed Aristide
Pubblicazione: (2026)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
di: Rickard, Luke, et al.
Pubblicazione: (2023)

Higher-order Kripke models for intuitionistic and non-classical modal logics
di: Barroso-Nascimento, Victor
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Parametricity via Cohesion
di: Aberlé, C. B.
Pubblicazione: (2024)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
di: Blanc, Manon, et al.
Pubblicazione: (2023)

An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)

A formal system for reasoning about assertibility, truth, and meaningfulness
di: Weaver, Nik
Pubblicazione: (2025)

The Benefits of Diligence
di: Arrial, Victor, et al.
Pubblicazione: (2024)

Strong Faithfulness for ELH Ontology Embeddings
di: Lacerda, Victor, et al.
Pubblicazione: (2023)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

List types for resource aware languages: an implicit name approach
di: Ghilezan, Silvia, et al.
Pubblicazione: (2021)