Many-Valued Modal Logics II

  title={Many-Valued Modal Logics II},
  author={Melvin Fitting},
Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever A says it is). Suppose, further, that each of the experts has his or her own view of what is possible — in other words each of the experts has their own Kripke model in mind (subject, of course, to the dominance relation that may hold between experts). How will they assign truth values to sentences in a common modal language, and on what sentences will they agree… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 77 extracted citations

Many-valued hybrid logic

Advances in Modal Logic • 2008
View 7 Excerpts
Highly Influenced

Weaker Axioms, More Ranges

Fundam. Inform. • 2002
View 7 Excerpts
Highly Influenced

Multi-valued symbolic model-checking

ACM Trans. Softw. Eng. Methodol. • 2003
View 10 Excerpts
Highly Influenced

A Relational Formalisation of Arbitrary Finite Valued Logics

Logic Journal of the IGPL • 1998
View 7 Excerpts
Highly Influenced

Compositional Meaning in Logic

Logica Universalis • 2017
View 2 Excerpts


Publications referenced by this paper.
Showing 1-10 of 12 references

The Mathematics of Metamathematics

H. Rasiowa, R. Sikorski
PWN – Polish Scientific Publishers, Warsaw, third edition, • 1970
View 3 Excerpts
Highly Influenced

Many-valued modal logics

Fundam. Inform. • 1991
View 10 Excerpts

Some Modal Logics Based on a Three-Valued Logic

Notre Dame Journal of Formal Logic • 1989
View 1 Excerpt

Proof Methods for Modal and Intuitionistic Logics

M. C. Fitting
D. Reidel Publishing Co., Dordrecht, • 1983

Local and global operators and many-valued modal logics

Notre Dame Journal of Formal Logic • 1979
View 1 Excerpt

A note on three-valued modal logic

P. K. Schotch, J. B. Jensen, P. F. Larsen, E. J. MacLellan
Notre Dame Journal of Formal Logic, • 1978
View 1 Excerpt

Possible worlds and many truth values

S. K. Thomason
Studia Logica, • 1978
View 1 Excerpt

Similar Papers

Loading similar papers…