Copertina

On the specification of modal systems: A comparison of three frameworks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Aceto, Luca, Fábregas, Ignacio, Escrig, David de Frutos, Ingólfsdóttir, Anna, Palomino, Miguel
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Non-strongly Stable Orders Also Define Interesting Simulation Relations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
di: de Frutos-Escrig, David, et al.
Pubblicazione: (2024)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

Logics for Contravariant Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

A unified rule format for bounded nondeterminism in SOS with terms as labels
di: Aceto, Luca, et al.
Pubblicazione: (2024)

When Are Prime Formulae Characteristic?
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Rule Formats for Nominal Process Calculi
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Complexity results for modal logic with recursion via translations and tableaux
di: Aceto, Luca, et al.
Pubblicazione: (2023)

Deciding characteristic formulae: A journey in the branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
di: Aceto, Luca, et al.
Pubblicazione: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Intuitionistic monotone modal logic via translation
di: de Groot, Jim
Pubblicazione: (2025)

A modal approach towards substitutions
di: Tu, Yaxin, et al.
Pubblicazione: (2025)

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

Intrinsic and relative characterization results for logics with negative modalities
di: de Groot, Jim, et al.
Pubblicazione: (2025)

Modal definability in Euclidean modal logics
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

On semantics of first-order justification logic with binding modalities
di: Yavorskaya, Tatiana, et al.
Pubblicazione: (2025)

Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)

Oracle modalities
di: Swan, Andrew W
Pubblicazione: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

Centralized vs Decentralized Monitors for Hyperproperties
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Minimal modal logics, constructive modal logics and their relations
di: Dalmonte, Tiziano
Pubblicazione: (2023)

Constructive S4 modal logics with the finite birelational frame property
di: Balbiani, Philippe, et al.
Pubblicazione: (2024)

Existential and positive games: a comonadic and axiomatic view
di: Abramsky, Samson, et al.
Pubblicazione: (2025)

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

Tabular intermediate logics comparison
di: Rzążewski, Paweł, et al.
Pubblicazione: (2025)

Intuitionistic modal logic LIK4 is decidable
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Parameterized complexity of n-dense modal logics
di: Gasquet, Olivier
Pubblicazione: (2026)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
di: Balbiani, Philippe
Pubblicazione: (2025)

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
di: Su, Youan
Pubblicazione: (2025)

Metacat: a categorical framework for formal systems
di: Wilson, Paul
Pubblicazione: (2026)

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