Buchumschlag

Characterising Modal Formulas with Examples

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cate, Balder ten, Koudijs, Raoul
Format:	Preprint
Veröffentlicht:	2023
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

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Characterizing LTL Formulas by Examples
von: Cate, Balder ten, et al.
Veröffentlicht: (2026)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Craig Interpolation for Decidable First-Order Fragments
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

The Size of Interpolants in Modal Logics
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

When do modal definability and preservation theorems transfer to the finite?
von: van Benthem, Johan, et al.
Veröffentlicht: (2026)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
von: Soeteman, Arie, et al.
Veröffentlicht: (2025)

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

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
von: Soeteman, Arie, et al.
Veröffentlicht: (2026)

Expressive Power of Deep Homomorphism Networks over Relational Databases
von: Schönherr, Moritz, et al.
Veröffentlicht: (2026)

Knowledge Base Embeddings: Semantics and Theoretical Properties
von: Bourgaux, Camille, et al.
Veröffentlicht: (2024)

When do homomorphism counts help in query algorithms?
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

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

Modal Separability of Fixpoint Formulae
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

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

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

When Are Prime Formulae Characteristic?
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

Nested Sequents for Quasi-transitive Modal Logics
von: Marin, Sonia, et al.
Veröffentlicht: (2024)

Symmetries of Dependency Quantified Boolean Formulas
von: Hofstadler, Clemens, et al.
Veröffentlicht: (2024)

Efficient Volume Computation for SMT Formulas
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

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

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
von: Benerecetti, Massimo, et al.
Veröffentlicht: (2024)