Characterizing Interpolation Pairs in Infinitary Graded Logics

DOI10.1093/LOGCOM/13.2.173zbMath1041.03014OpenAlexW2160091053MaRDI QIDQ4461929

Giovanna D'Agostino

Publication date: 18 May 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e77a4d0a60c55214caefb460eaddf65b2439e5b9

zbMATH Keywords

interpolationbisimulationinfinitary logicgraded modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

This page was built for publication: Characterizing Interpolation Pairs in Infinitary Graded Logics