A decidable multi-modal logic of context

DOI10.1016/S1570-8683(03)00007-7zbMATH Open1032.03011OpenAlexW1978361124MaRDI QIDQ1414576FDOQ1414576

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)

Cites Work

• The completeness of the first-order functional calculus
• Propositional Logic for Ground Semigroups of Context
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• A multicontext architecture for formalizing complex reasoning
• Determining the environment: a modal logic for closed interaction
• Title not available (Why is that?)

Uses Software

• Cyc

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Modal multilattice logic 👍 👎
• ON DEFINABILITY IN MULTIMODAL LOGIC 👍 👎
• Axiomatizations with context rules of inference in modal logic 👍 👎
• Sequent Calculi for Multi-modal Logic with Interaction 👍 👎
• CONTEXTUAL LOGIC WITH MODALITIES FOR TIME AND SPACE 👍 👎
• Compositional Reasoning for Multi-modal Logics 👍 👎
• Multi-dimensional semantics for modal logics 👍 👎
• A linear logic framework for multimodal logics 👍 👎

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

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