论文信息 - Introducing Polymodal Neighbourhood Logics

Introducing Polymodal Neighbourhood Logics

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.

Renata P. de Freitas | Petrucio Viana

[1] Mario R. F. Benevides,et al. On vague notions and modalities: a modular approach , 2010, Log. J. IGPL.

[2] Richard Spencer-Smith,et al. Modal Logic , 2007 .

[3] Claudio Cerrato. Decidability by filtrations for graded normal logics (graded modalities V) , 1994, Stud Logica.

[4] Mario R. F. Benevides,et al. On Modalities for Vague Notions , 2004, SBIA.

[5] Rachel Ben-Eliyahu-Zohary,et al. A modal logic for subjective default reasoning , 2000, Artif. Intell..

[6] Maurizio Fattorosi-Barnaba,et al. Graded modalities. III (the completeness and compactness of S40) , 1988, Stud Logica.

[7] Francesco Caro. Graded modalities, II (canonical models) , 1988, Stud Logica.

[8] Maurizio Fattorosi-Barnaba,et al. Graded modalities. I , 1985, Stud Logica.

[9] C. Cerrato. General canonical models for graded normal logics (graded modalities IV) , 1990, Stud Logica.

[10] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .