Buchumschlag

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ho, Hsi-Ming, Madnani, Khushraj
Format:	Preprint
Veröffentlicht:	2024
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

MightyPPL: Verification of MITL with Past and Pnueli Modalities
von: Ho, Hsi-Ming, et al.
Veröffentlicht: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

Towards Counting Markov Equivalence Classes with Logical Constraints
von: Bizzaro, Davide, et al.
Veröffentlicht: (2024)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
von: Tucker-Foltz, Jamie
Veröffentlicht: (2021)

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

Finite Variable Counting Logics with Restricted Requantification
von: Raßmann, Simon, et al.
Veröffentlicht: (2024)

Openness And Partial Adjacency In One Variable TPTL
von: Krishna, Shankara Narayanan, et al.
Veröffentlicht: (2024)

Deductive Systems for Logic Programs with Counting
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

A Game for Counting Logic Formula Size and an Application to Linear Orders
von: Fournier, Gregoire, et al.
Veröffentlicht: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2024)

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

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

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

Epistemic Logic Programs: Non-Ground and Counting Complexity
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

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

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)

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

Nested Sequents for Quasi-transitive Modal Logics
von: Marin, Sonia, 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)

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
von: Yang, Andy, et al.
Veröffentlicht: (2024)

Learning Concepts Definable in First-Order Logic with Counting
von: van Bergerem, Steffen
Veröffentlicht: (2019)

On Lower Bounding Minimal Model Count
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2024)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
von: Tóth, Jan, et al.
Veröffentlicht: (2024)

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)

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

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

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

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

On Top-Down Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

Unification in Matching Logic -- Revisited
von: Kurucz, Ádám, et al.
Veröffentlicht: (2024)

Model Counting in the Wild
von: Shaw, Arijit, et al.
Veröffentlicht: (2024)

Modular Counting over 3-Element and Conservative Domains
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Modular Counting CSP: Reductions and Algorithms
von: Kazeminia, Amirhossein, et al.
Veröffentlicht: (2025)

Answer Set Counting and its Applications
von: Kabir, Mohimenul
Veröffentlicht: (2025)