A decidable multi-modal logic of context

DOI10.1016/S1570-8683(03)00007-7zbMath1032.03011OpenAlexW1978361124MaRDI QIDQ1414576

Rolf Nossum

Publication date: 4 December 2003

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1570-8683(03)00007-7

zbMATH Keywords

decidabilityFormalization of contextMulti-modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Uses Software

• Cyc

Cites Work

• Propositional Logic for Ground Semigroups of Context
• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A decidable multi-modal logic of context