A decidable multi-modal logic of context
type: Item
instance of: scholarly article
title: A decidable multi-modal logic of context
zbMATH Open document ID: 1032.03011
DOI: 10.1016/S1570-8683(03)00007-7
author: Rolf Nossum
published in: Journal of Applied Logic
publication date: 2003-12-04T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 2012946
zbMATH Keywords: Formalization of context
zbMATH Keywords: Multi-modal logic
zbMATH Keywords: decidability
describes a project that uses: Cyc
MaRDI profile type: MaRDI publication profile
cites work: Q4511288
cites work: Q4837948
cites work: Q3867808
cites work: Q4524510
cites work: The completeness of the first-order functional calculus
cites work: Q4698331
cites work: Q4511287
cites work: Propositional Logic for Ground Semigroups of Context
cites work: Q4808708
full work available at URL: s1570-8683(03)00007-7
OpenAlex ID: W1978361124
Recommended article: ON DEFINABILITY IN MULTIMODAL LOGIC
Recommended article: Compositional Reasoning for Multi-modal Logics
Recommended article: Multi-dimensional semantics for modal logics
Recommended article: Q4430397
Recommended article: Modal multilattice logic
Recommended article: Q4808708
Recommended article: CONTEXTUAL LOGIC WITH MODALITIES FOR TIME AND SPACE
Recommended article: A linear logic framework for multimodal logics
Recommended article: Axiomatizations with context rules of inference in modal logic
Recommended article: Sequent Calculi for Multi-modal Logic with Interaction
description: scientific article; zbMATH DE number 2012946