Bisimulation quantifiers and uniform interpolation for guarded first order logic
type: Item
instance of: scholarly article
title: Bisimulation quantifiers and uniform interpolation for guarded first order logic
zbMATH Open document ID: 1302.03038
author: Giovanna D'Agostino
author: Giacomo Lenzi
published in: Theoretical Computer Science
publication date: 2014-12-12T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 6379798
zbMATH Keywords: bisimulation quantifiers
zbMATH Keywords: uniform interpolation
zbMATH Keywords: guarded first-order logic
MaRDI profile type: Publication
full work available at URL: j.tcs.2014.08.015
OpenAlex ID: W1993972687
cites work: Interpolation and definability in guarded fragments
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: On modal \(\mu\)-calculus with explicit interpolants
cites work: On the Restraining Power of Guards
cites work: Q5419878
cites work: Guarded Negation
cites work: Q4263155
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Rewriting Guarded Negation Queries
DOI: 10.1016/J.TCS.2014.08.015
Recommended article: Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
Recommended article: μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
Recommended article: Bisimulation and propositional intuitionistic logic
Recommended article: Q3509051
Recommended article: An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
Recommended article: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Recommended article: Guarded quantification in least fixed point logic
Recommended article: Q3154151
Recommended article: Fibrational bisimulations and quantitative reasoning
Recommended article: Q5224686
description: scientific article; zbMATH DE number 6379798