Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,017,870 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
2010
2010
ANGLE: An autonomous, normative and guidable agent with changing knowledge
B. Liao
,
Huaxin Huang
Information Sciences
2010
Corpus ID: 31486432
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
2004
2004
Monad-independent Dynamic Logic in HasCasl
Lutz Schröder
,
Till Mossakowski
Journal of Logic and Computation
2004
Corpus ID: 6584010
Monads have been recognized by Moggi as an elegant device for dealing with stateful computation in functional programming…
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
2002
2002
Declarative power, representation, and mandate: A formal analysis
Jonathan Gelati
,
Guido Governatori
,
A. Rotolo
,
G. Sartor
2002
Corpus ID: 5068793
In this paper we provide a formal framework for developing the idea of normative co-ordination. We argue that this idea is based…
Expand
1996
1996
Autonomous agents and social norms
F. Dignum
1996
Corpus ID: 18574263
In this paper we present concepts and their relations that are necessary for mod- eling autonomous agents in an environment that…
Expand
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
1986
1986
Modal logics with functional alternative relations
K. Segerberg
Notre Dame J. Formal Log.
1986
Corpus ID: 41839141
Some families of modal logics form lattices; particularly important examples are the set of extensions of a modal logic and the…
Expand
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