Effective interpolation and preservation in guarded logics

DOI10.1145/2603088.2603108MaRDI QIDQ4635596zbMATH OpenOpenAlexWikidataFDO

Authors Michael Benedikt, Balder ten Cate, Michael Vanden Boom

Publication date 23 April 2018

Published in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:d88f4697-5d57-4422-8a4c-48af0f30c8f8

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Recommendations

• Effective interpolation and preservation in guarded logics
• Bisimulation quantifiers and uniform interpolation for guarded first order logic
• Interpolation and definability in guarded fragments
• SOME MODEL THEORY OF GUARDED NEGATION
• Publication:4938431

Cited in

(8)

• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1405456 (Why is no real title available?)
• Effective interpolation and preservation in guarded logics
• SOME MODEL THEORY OF GUARDED NEGATION
• Uniform guarded fragments
• Preservation of Craig interpolation by the product of matrix logics
• Evaluating Datalog via tree automata and cycluits
• Interpolation and definability in guarded fragments

This page was built for publication: Effective interpolation and preservation in guarded logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635596)