scientific article; zbMATH DE number 1215463
From MaRDI portal
Publication:4215595
zbMath0906.03018MaRDI QIDQ4215595
Giovanna D'Agostino, Marco Hollenberg
Publication date: 22 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Craig interpolationmodal \(\mu\)-calculusuniform interpolationbisimulation quantifiers\(\mu\)-automata
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)
Related Items (5)
Knowledge forgetting in propositional \(\mu\)-calculus ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Formal Properties of Modularisation ⋮ Monadic second-order logic on tree-like structures
This page was built for publication:
