Semantics of templates in a compositional framework for building logics

DOI10.1017/S1471068415000319zbMath1379.68092arXiv1507.06778MaRDI QIDQ4593008

Marc Denecker, Matthias van der Hallen, Gerda Janssens, Ingmar Dasseville

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.06778

zbMATH Keywords

templatescompositionalitysemanticsmodularitymacrossecond order logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

The KB paradigm and its application to interactive configuration ⋮ A compositional typed higher-order logic with definitions ⋮ Knowledge representation analysis of graph mining

Uses Software

• HiLog
• STL

Cites Work

• Unnamed Item
• Unnamed Item
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• Well-founded and stable semantics of logic programs with aggregates
• HiLog: A foundation for higher-order logic programming
• Modular Nonmonotonic Logic Programming Revisited
• A logic of nonmonotone inductive definitions
• A Tarskian Informal Semantics for Answer Set Programming
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming

This page was built for publication: Semantics of templates in a compositional framework for building logics