Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ho, Hsi-Ming, Madnani, Khushraj
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MightyPPL: Verification of MITL with Past and Pnueli Modalities
par: Ho, Hsi-Ming, et autres
Publié: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
par: Haase, Christoph, et autres
Publié: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
par: Lichter, Moritz
Publié: (2022)

Towards Counting Markov Equivalence Classes with Logical Constraints
par: Bizzaro, Davide, et autres
Publié: (2024)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
par: Tucker-Foltz, Jamie
Publié: (2021)

Interleaving Logic and Counting
par: van Benthem, Johan, et autres
Publié: (2025)

Finite Variable Counting Logics with Restricted Requantification
par: Raßmann, Simon, et autres
Publié: (2024)

Openness And Partial Adjacency In One Variable TPTL
par: Krishna, Shankara Narayanan, et autres
Publié: (2024)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

A Game for Counting Logic Formula Size and an Application to Linear Orders
par: Fournier, Gregoire, et autres
Publié: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
par: van Bergerem, Steffen, et autres
Publié: (2024)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Epistemic Logic Programs: Non-Ground and Counting Complexity
par: Eiter, Thomas, et autres
Publié: (2025)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Nested Sequents for Quasi-transitive Modal Logics
par: Marin, Sonia, et autres
Publié: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
par: Yang, Andy, et autres
Publié: (2024)

Learning Concepts Definable in First-Order Logic with Counting
par: van Bergerem, Steffen
Publié: (2019)

On Lower Bounding Minimal Model Count
par: Kabir, Mohimenul, et autres
Publié: (2024)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
par: Tóth, Jan, et autres
Publié: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
par: Chrysafis, et autres
Publié: (2025)

Minimal Model Counting via Knowledge Compilation
par: Kabir, Mohimenul
Publié: (2024)

On Top-Down Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
par: Hausmann, Daniel, et autres
Publié: (2025)

Unification in Matching Logic -- Revisited
par: Kurucz, Ádám, et autres
Publié: (2024)

Model Counting in the Wild
par: Shaw, Arijit, et autres
Publié: (2024)

Modular Counting over 3-Element and Conservative Domains
par: Bulatov, Andrei A., et autres
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Modular Counting CSP: Reductions and Algorithms
par: Kazeminia, Amirhossein, et autres
Publié: (2025)

Answer Set Counting and its Applications
par: Kabir, Mohimenul
Publié: (2025)