Premium
Modal logics with n ‐ary connectives
Author(s) -
Ghilardi S.,
Meloni G. C.
Publication year - 1990
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19900360303
Subject(s) - modal , mathematics , humanities , discrete mathematics , algebra over a field , calculus (dental) , philosophy , pure mathematics , medicine , chemistry , dentistry , polymer chemistry
The aim of this paper is to provide a general framework in order to present from a unitary point of view considerable experience in the field of non classical logics. Usual modal logic deals with a binary relation and a unary operator (generalizations to many binary relations and many unary operators are straightforward at least in the initial stage); although n-ary operators and n + 1-ary relations have been only partially investigated (see [9] where there is also a representation theorem) the experience of the semantics of relevant logics [25] shows how to manage the case of ternary relations.