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.