Buchumschlag

Simulating dynamic systems using Linear Time Calculus theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bogaerts, Bart, Jansen, Joachim, Bruynooghe, Maurice, De Cat, Broes, Vennekens, Joost, Denecker, Marc
Format:	Preprint
Veröffentlicht:	2014
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Approximation Fixpoint Theory with Refined Approximation Spaces
von: Vanbesien, Linde, et al.
Veröffentlicht: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
von: Pollaci, Samuele, et al.
Veröffentlicht: (2024)

Efficiently grounding FOL using bit vectors
von: Van Laer, Lucas, et al.
Veröffentlicht: (2024)

Answer Set Programming for Flexible Payroll Management
von: Callewaert, Benjamin, et al.
Veröffentlicht: (2024)

A Sequent Calculus for General Inductive Definitions
von: Eede, Robbe Van den, et al.
Veröffentlicht: (2026)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
von: Marković, Đorđe, et al.
Veröffentlicht: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
von: Vandesande, Dieter, et al.
Veröffentlicht: (2025)

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
von: Vandevelde, Simon, et al.
Veröffentlicht: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
von: Bogaerts, Bart, et al.
Veröffentlicht: (2022)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
von: Van Caudenberg, Daimy, et al.
Veröffentlicht: (2025)

Preservation theorems for Tarski's relation algebra
von: Bogaerts, Bart, et al.
Veröffentlicht: (2023)

The Tensor-Plus Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2025)

A Classical Linear $λ$-Calculus based on Contraposition
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2026)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
von: Ernst, Gidon
Veröffentlicht: (2026)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
von: Stramaglia, Anna, et al.
Veröffentlicht: (2025)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

Groups and Inverse Semigroups in Lambda Calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2026)

The Many-Worlds Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2022)

The Flower Calculus
von: Donato, Pablo
Veröffentlicht: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps
von: Bisping, Benjamin, et al.
Veröffentlicht: (2023)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Quantitative Types for the Functional Machine Calculus
von: Heijltjes, Willem
Veröffentlicht: (2025)

Six Birds: Foundations of Emergence Calculus
von: Tsiokos, Ioannis
Veröffentlicht: (2026)

Proofs as Execution Trees for the π-Calculus
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

Nested-sequent Calculus for Modal Logic MB
von: Kawano, Tomoaki
Veröffentlicht: (2024)

A Sequent Calculus For Trace Formula Implication
von: Heidler, Niklas, et al.
Veröffentlicht: (2025)

Substitution in the lambda Calculus and the role of the Curry School
von: Kamareddine, Fairouz
Veröffentlicht: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
von: Cecilia, Gabriele, et al.
Veröffentlicht: (2024)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
von: Spronck, Myrthe, et al.
Veröffentlicht: (2024)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
von: Kalala, Kalonji, et al.
Veröffentlicht: (2025)