ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR | Zendy

Bellissima Fabio | Zendy; Ciupi Alessandra | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR

Author(s) -

Bellissima Fabio,

Ciupi Alessandra

Publication year - 1992

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.19920380120

Subject(s) - kripke semantics , mathematics , normal modal logic , modal operator , modal logic , monoidal t norm logic , operator (biology) , property (philosophy) , t norm fuzzy logics , class (philosophy) , frame (networking) , modal , pure mathematics , kripke structure , algebra over a field , discrete mathematics , algorithm , computer science , epistemology , artificial intelligence , philosophy , model checking , repressor , fuzzy logic , chemistry , membership function , telecommunications , biochemistry , fuzzy set , transcription factor , fuzzy number , polymer chemistry , gene

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U ‐logics without Kripke frames, and that each U ‐logic whose class of order does not have the finite frame property.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research