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)

Related topics

Related topics

22 relations
Alethic modalityCausalityDeontic logicDoxastic logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
PRAGMATIC AND IDEALIZED MODELS OF KNOWLEDGE AND IGNORANCE
At is a pervasive assumption in recent analytical philosophy that knowledge can be defined as a modality representing a rational… 
2009
2009
Intensional First-Order Logic for P2P Database Systems
The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a… 
2009
2009
Indeterminacy, identity and counterparts: Evans reconsidered
In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart… 
2004
2004
Weakly-coupled ontology integration of P2P database systems
We present the basic elements of a new semantics that captures the modular structure of a data-intensive Peer-to-peer (P2P… 
2003
2003
Integration and design of multi-modal interfaces for supervisory control systems
2002
2002
A new “feasible” arithmetic
Abstract A classical quantified modal logic is used to define a “feasible” arithmetic whose provably total functions are exactly… 
2001
2001
An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques
1998
1998
Effective versions of equilogical spaces
  • D. Scott
  • Workshop on Domains
  • 1998
  • Corpus ID: 45860470
1994
1994
Decidability of Deliberative Stit Theories with Multiple Agents
The purpose of this paper is to present axiomatizations for some dstit (deliberatively seeing-to-it-that) logics with multiple… 
1991
1991
A Formal Approach to User Models in Data Retrieval
  • A. Kok
  • Int. J. Man Mach. Stud.
  • 1991
  • Corpus ID: 11671543
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)