Introducing Polymodal Neighbourhood Logics

Authors:
Renata de Freitas;Petrucio Viana
Affiliations:
Institute of Mathematics, Fluminense Federal University, Niterói, Brazil;Institute of Mathematics, Fluminense Federal University, Niterói, Brazil
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 2
Cited 0

Modal logic

Modal logic
A modal logic for subjective default reasoning

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we start the study of polymodal neighbourhood languages. We provide a completeness result for the basic polymodal neighbourhood system and show how some important systems based on neighbourhood like semantics can be simulated as subsystems of ours.