Skip to search formSkip to main contentSkip to account menu

Modal operator

Known as: Modal connective 
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
At is a pervasive assumption in recent analytical philosophy that knowledge can be defined as a modality representing a rational… 
2009
2009
The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a… 
2009
2009
In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart… 
2004
2004
We present the basic elements of a new semantics that captures the modular structure of a data-intensive Peer-to-peer (P2P… 
2002
2002
Abstract A classical quantified modal logic is used to define a “feasible” arithmetic whose provably total functions are exactly… 
1998
1998
  • D. Scott
  • 1998
  • Corpus ID: 45860470
1994
1994
The purpose of this paper is to present axiomatizations for some dstit (deliberatively seeing-to-it-that) logics with multiple… 
1991
1991
  • A. Kok
  • 1991
  • Corpus ID: 11671543