scientific article; zbMATH DE number 1418362

MaRDI QIDQ4941925zbMATH OpenFDO

Authors Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas

Publication date 19 March 2000

zbMATH Keywords

conservative extensioncombination of logicstemporalisationcategorial characterisation of parameterisation

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

(10)

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

This page was built for publication:

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