scientific article; zbMATH DE number 1418362

zbMATH Open0943.03007MaRDI QIDQ4941925FDOQ4941925

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Publication date: 19 March 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Probabilization of logics: completeness and decidability
• Parametric logic: Foundations
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)