Image de couverture de livre

Forcing, Transition Algebras, and Calculi

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Go, Hashimoto, Găină, Daniel, Ţuţu, Ionuţ
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Model-theoretic Forcing in Transition Algebra
par: Hashimoto, Go, et autres
Publié: (2025)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
par: Găină, Daniel, et autres
Publié: (2026)

Induction rules for Transition Algebra
par: Hashimoto, Go
Publié: (2026)

Birkhoff style proof systems for hybrid-dynamic quantum logic
par: Gaina, Daniel
Publié: (2024)

Foundations of logic programming in hybrid-dynamic quantum logic
par: Gaina, Daniel
Publié: (2024)

A formulation of D-institution using functor categories
par: Hashimoto, Go
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
par: Nakamura, Yoshiki
Publié: (2023)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
par: Lyon, Tim S.
Publié: (2024)

Local Intuitionistic Modal Logics and Their Calculi
par: Balbiani, Philippe, et autres
Publié: (2024)

Rule Formats for Nominal Process Calculi
par: Aceto, Luca, et autres
Publié: (2024)

Expressiveness Results for Timed Modal Mu-Calculi
par: Cleaveland, Rance, et autres
Publié: (2023)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
par: Litak, Tadeusz, et autres
Publié: (2025)

On the Expressivity of Typed Concurrent Calculi
par: Paulus, Joseph William Neal
Publié: (2024)

Lax Modal Lambda Calculi
par: Valliappan, Nachiappan
Publié: (2025)

Hybrid-Dynamic Ehrenfeucht-Fraisse Games
par: Badia, Guillermo, et autres
Publié: (2024)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
par: Imaz, Gonzalo E.
Publié: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
par: Alrabbaa, Christian, et autres
Publié: (2025)

Proof Scores: A Survey (full version)
par: Riesco, Adrian, et autres
Publié: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
par: Heuvel, Bas van den, et autres
Publié: (2024)

Completeness of Relational Algebra via Cylindric Algebra
par: Laštovička, Jan
Publié: (2026)

Hypersequent Calculi Have Ackermannian Complexity
par: Balasubramanian, A. R., et autres
Publié: (2026)

Twist Sequent Calculi for S4 and its Neighbors
par: Kamide, Norihiro
Publié: (2024)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Dependence and Independence for Reversible Process Calculi
par: Aubert, Clément, et autres
Publié: (2024)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
par: Gao, Dichuan, et autres
Publié: (2026)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
par: Hausmann, Daniel, et autres
Publié: (2022)

Continuous Algebras with Hypotheses
par: Mulder, Lukas, et autres
Publié: (2026)

The Algebra of Iterative Constructions
par: Batz, Kevin, et autres
Publié: (2026)

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
par: Wißmann, Thorsten, et autres
Publié: (2024)