scientific article; zbMATH DE number 67510

MaRDI QIDQ4012252zbMATH OpenFDO

Authors Andreas Herzig, Hans Jürgen Ohlbach

Publication date 27 September 1992

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Parameterized modal satisfiability
• Parameterized modal satisfiability
• Modal operators for coequations
• Modal Operators over Constructive Logic
• Structural operational semantics and modal logic, revisited
• scientific article; zbMATH DE number 7668093
• scientific article; zbMATH DE number 1192310
• Parametric and quantitative extensions of modal transition systems
• scientific article; zbMATH DE number 5734940
• Modalities and Parametric Adjoints

Cited in

(3)

• Multimodal logic programming using equational and order-sorted logic
• Parametric logic: Foundations
• Modalities and Parametric Adjoints

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 Q4012252)