z-logo
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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom