Effective interpolation and preservation in guarded logics

DOI10.1145/2603088.2603108zbMATH Open1394.03050OpenAlexW2087207857WikidataQ130898207 ScholiaQ130898207MaRDI QIDQ4635596FDOQ4635596

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

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

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)

Cited In (8)

• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• 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)