:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Ho, Hsi-Ming, Madnani, Khushraj
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2410.00539
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

MightyPPL: Verification of MITL with Past and Pnueli Modalities
di: Ho, Hsi-Ming, et al.
Pubblicazione: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Openness And Partial Adjacency In One Variable TPTL
di: Krishna, Shankara Narayanan, et al.
Pubblicazione: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
di: Lichter, Moritz
Pubblicazione: (2022)

Interleaving Logic and Counting
di: van Benthem, Johan, et al.
Pubblicazione: (2025)

Towards Counting Markov Equivalence Classes with Logical Constraints
di: Bizzaro, Davide, et al.
Pubblicazione: (2024)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
di: Tucker-Foltz, Jamie
Pubblicazione: (2021)

Finite Variable Counting Logics with Restricted Requantification
di: Raßmann, Simon, et al.
Pubblicazione: (2024)

Deductive Systems for Logic Programs with Counting
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

A Game for Counting Logic Formula Size and an Application to Linear Orders
di: Fournier, Gregoire, et al.
Pubblicazione: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
di: van Bergerem, Steffen, et al.
Pubblicazione: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
di: Eiter, Thomas, et al.
Pubblicazione: (2025)

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
di: Yang, Andy, et al.
Pubblicazione: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

Distribution-Free Normal Modal Logics
di: Hartonas, Chrysafis
Pubblicazione: (2024)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
di: Hausmann, Daniel, et al.
Pubblicazione: (2025)

Learning Concepts Definable in First-Order Logic with Counting
di: van Bergerem, Steffen
Pubblicazione: (2019)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Nested Sequents for Quasi-transitive Modal Logics
di: Marin, Sonia, et al.
Pubblicazione: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

On Lower Bounding Minimal Model Count
di: Kabir, Mohimenul, et al.
Pubblicazione: (2024)

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

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
di: de Groot, Jim, et al.
Pubblicazione: (2024)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
di: de Groot, Jim, et al.
Pubblicazione: (2026)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
di: Chrysafis, et al.
Pubblicazione: (2025)

Model Counting in the Wild
di: Shaw, Arijit, et al.
Pubblicazione: (2024)

Unification in Matching Logic -- Revisited
di: Kurucz, Ádám, et al.
Pubblicazione: (2024)

Minimal Model Counting via Knowledge Compilation
di: Kabir, Mohimenul
Pubblicazione: (2024)

On Top-Down Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2025)

Modular Counting CSP: Reductions and Algorithms
di: Kazeminia, Amirhossein, et al.
Pubblicazione: (2025)

Answer Set Counting and its Applications
di: Kabir, Mohimenul
Pubblicazione: (2025)

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

Modular Counting over 3-Element and Conservative Domains
di: Bulatov, Andrei A., et al.
Pubblicazione: (2025)