Parameterisation of logics

DOI10.1007/3-540-48483-3_4MaRDI QIDQ4941925zbMATH OpenFDO

Authors Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas

Publication date 19 March 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48483-3_4

zbMATH Keywords

categorial characterisation of parameterisationcombination of logicsconservative extensiontemporalisation

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Temporal logic (03B44) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Recommendations

• The Unrestricted Combination of Temporal Logic Systems
• Diagrammatic logic applied to a parameterisation process
• Combining temporal logic systems
• Some results on parametric temporal logic
• Temporalising Logics: Fifteen Years After

Cited in

(11)

• Parametric logic: Foundations
• Probabilization of logics: completeness and decidability
• Epistemic logics with structured knowledge
• Diagrammatic logic applied to a parameterisation process
• The Unrestricted Combination of Temporal Logic Systems
• scientific article; zbMATH DE number 2111988 (Why is no real title available?)
• Parametric linear dynamic logic
• scientific article; zbMATH DE number 2237358 (Why is no real title available?)
• Importing logics
• Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems
• An NP-complete fragment of fibring logic

This page was built for publication: Parameterisation of logics

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