Copertina

A meta-modal logic for bisimulations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Burrieza, Alfredo, Soler-Toscano, Fernando, Yuste-Ginel, Antonio
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Logic 03B45 F.4.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Syllogistic with Unity
di: Pratt-Hartmann, Ian
Pubblicazione: (2011)

Locally tabular products of modal logics
di: Shapirovsky, Ilya B., et al.
Pubblicazione: (2024)

Complexity of some modal logics of density (extended version)
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

A non-uniform view of Craig interpolation in modal logics with linear frames
di: Kurucz, Agi, et al.
Pubblicazione: (2023)

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

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

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

FMP for QD logics. A wrong proof
di: Gasquet, Olivier
Pubblicazione: (2025)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
di: Sato, Yuta
Pubblicazione: (2025)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
di: Alexandru, Baltag, et al.
Pubblicazione: (2025)

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

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

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

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

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

On Many-logic modal structures and information-based logics
di: Martins, Manuel, et al.
Pubblicazione: (2026)

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

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

Canonicity in power and modal logics of finite achronal width
di: Goldblatt, Robert, et al.
Pubblicazione: (2022)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
di: Coniglio, Marcelo E.
Pubblicazione: (2023)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

Cut-free sequent calculi for the provability logic D
di: Kashima, Ryo, et al.
Pubblicazione: (2023)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

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

Finite Hilbert systems for Weak Kleene logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Different Theories of Parts
di: Pietruszczak, Andrzej
Pubblicazione: (2024)

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
di: Cerda, Rémy, et al.
Pubblicazione: (2022)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

Interpolation above S4
di: Santschi, Simon, et al.
Pubblicazione: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
di: Wolter, Frank, et al.
Pubblicazione: (2024)

Nested Sequents for Provability Logic GLP
di: Shamkanov, Daniyar
Pubblicazione: (2014)

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
di: Proietti, Carlo, et al.
Pubblicazione: (2025)

Support + Belief = Decision Trust
di: Aldini, Alessandro, et al.
Pubblicazione: (2024)

Monotonicity versus positivity in modal logics
di: Dvorkin, Lev
Pubblicazione: (2026)

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)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)