Copertina

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Figueira, Santiago, Goren-Roig, Gabriel
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science 03B45, 68P15 F.4.1; H.2.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Multiset semantics in SPARQL, Relational Algebra and Datalog
di: Angles, Renzo, et al.
Pubblicazione: (2026)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
di: Gasquet, Olivier
Pubblicazione: (2025)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
di: Wright, Craig S.
Pubblicazione: (2025)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
di: Dundua, Besik, et al.
Pubblicazione: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
di: Walsh, Sean
Pubblicazione: (2024)

Modal logic, fundamentally
di: Holliday, Wesley H.
Pubblicazione: (2024)

Universal Algebra in UniMath
di: Amato, Gianluca, et al.
Pubblicazione: (2021)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
di: Martina, Antoine, et al.
Pubblicazione: (2023)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
di: Gabbay, Murdoch J.
Pubblicazione: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
di: Benzmüller, Christoph, et al.
Pubblicazione: (2026)

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

On piecewise hyperdefinable groups
di: Fanlo, Arturo Rodriguez
Pubblicazione: (2020)

Faithful Logic Embeddings in HOL -- Deep and Shallow
di: Benzmüller, Christoph
Pubblicazione: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Recursive windows for grammar logics of bounded density
di: Gasquet, Olivier
Pubblicazione: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
di: Wild, Paul, et al.
Pubblicazione: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
di: Pacheco, Leonardo
Pubblicazione: (2024)

Which are the True Defeasible Logics?
di: Maher, Michael J.
Pubblicazione: (2024)

Knowability as continuity: a topological account of informational dependence
di: Baltag, Alexandru, et al.
Pubblicazione: (2024)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
di: Lopez, Aliaume
Pubblicazione: (2024)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
di: Higuchi, Joaquim Reizi
Pubblicazione: (2026)

Relational Connectors and Heterogeneous Bisimulations
di: Nora, Pedro, et al.
Pubblicazione: (2024)

Relational Models for the Lambek Calculus with Intersection and Constants
di: Kuznetsov, Stepan L.
Pubblicazione: (2022)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

A Logic For Fresh Labelled Transition Systems
di: Bandukara, Mohamed H, et al.
Pubblicazione: (2025)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
di: Bruse, Florian, et al.
Pubblicazione: (2026)

Sheaves as oracle computations
di: Ahman, Danel, et al.
Pubblicazione: (2026)

Extended Nullstellensatz proof systems
di: Krajicek, Jan
Pubblicazione: (2023)

Discernment is all you need
di: Fuenmayor, David
Pubblicazione: (2026)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
di: Stanković, Marko, et al.
Pubblicazione: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
di: Moore, Hayden, et al.
Pubblicazione: (2025)