Publication:5091278

DOI10.4230/LIPIcs.ICALP.2019.116MaRDI QIDQ5091278

Marie Fortin

Publication date: 21 July 2022

Full work available at URL: https://arxiv.org/abs/1904.00189

zbMATH Keywords

first-order logic; propositional dynamic logic; three-variable property

Mathematics Subject Classification ID

68Qxx: Theory of computing

68Nxx: Theory of software

Related Items

On the Weisfeiler-Leman dimension of fractional packing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The \(k\)-variable property is stronger than H-dimension \(k\)
• Definability with bounded number of bound variables
• Upper and lower bounds for first order expressibility
• A guide to completeness and complexity for modal logics of knowledge and belief
• Propositional dynamic logic of regular programs
• Finite \(H\)-dimension does not imply expressive completeness
• Expressiveness and completeness of an interval tense logic
• Model checking propositional dynamic logic with all extras
• Three Variables Suffice for Real-Time Logic
• PDL with intersection and converse: satisfiability and infinite-state model checking
• PDL with negation of atomic programs
• Finite Variable Logics in Descriptive Complexity Theory
• Deux ou trois choses que je sais de L_n
• Expressive Completeness for Metric Temporal Logic
• Expressiveness of Metric modalities for continuous time
• 2-Exp Time lower bounds for propositional dynamic logics with intersection