Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,394,724 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Alethic modality
Causality
Deontic logic
Doxastic logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
PRAGMATIC AND IDEALIZED MODELS OF KNOWLEDGE AND IGNORANCE
D. Walton
2016
Corpus ID: 14284776
At is a pervasive assumption in recent analytical philosophy that knowledge can be defined as a modality representing a rational…
Expand
2009
2009
Intensional First-Order Logic for P2P Database Systems
Z. Majkic
Journal on Data Semantics
2009
Corpus ID: 16668009
The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a…
Expand
2009
2009
Indeterminacy, identity and counterparts: Evans reconsidered
Elizabeth Barnes
Synthese
2009
Corpus ID: 11856147
In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart…
Expand
2004
2004
Weakly-coupled ontology integration of P2P database systems
Z. Majkic
Peer-to-Peer Knowledge Management
2004
Corpus ID: 11827916
We present the basic elements of a new semantics that captures the modular structure of a data-intensive Peer-to-peer (P2P…
Expand
2003
2003
Integration and design of multi-modal interfaces for supervisory control systems
A. Zaatri
,
M. Oussalah
Information Fusion
2003
Corpus ID: 20261116
2002
2002
A new “feasible” arithmetic
S. Bellantoni
,
M. Hofmann
Journal of Symbolic Logic (JSL)
2002
Corpus ID: 18661485
Abstract A classical quantified modal logic is used to define a “feasible” arithmetic whose provably total functions are exactly…
Expand
2001
2001
An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques
Luis M. Laita
,
E. Roanes-Lozano
,
V. Maojo
,
Eugenio Roanes-Macías
,
L. Ledesma
,
Laura Laita
2001
Corpus ID: 62750855
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
Ming Xu
International Conference on Temporal Logic
1994
Corpus ID: 26313975
The purpose of this paper is to present axiomatizations for some dstit (deliberatively seeing-to-it-that) logics with multiple…
Expand
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)
ACCEPT & CONTINUE