Bisimulation quantifiers and uniform interpolation for guarded first order logic

DOI10.1016/j.tcs.2014.08.015zbMath1302.03038OpenAlexW1993972687MaRDI QIDQ481100

Giovanna D'Agostino, Giacomo Lenzi

Publication date: 12 December 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.08.015

zbMATH Keywords

uniform interpolationbisimulation quantifiersguarded first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

Related Items

Effective Interpolation and Preservation in Guarded Logics ⋮ Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ Unnamed Item ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Cites Work

• Interpolation and definability in guarded fragments
• On modal \(\mu\)-calculus with explicit interpolants
• Rewriting Guarded Negation Queries
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On the Restraining Power of Guards
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Guarded Negation
• Unnamed Item
• Unnamed Item

This page was built for publication: Bisimulation quantifiers and uniform interpolation for guarded first order logic