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.
2015
2015
Pragmatic Rejection
Computationally detecting the accepting/rejecting force of an utterance in dialogue is often a complex process. In this paper we… 
2011
2011
Relationships between obligations and actions in the context of institutional agents, human agents or software agents
The paper presents a logical framework for the representation of interactions between institutional agents, human agents and… 
Review
2009
Review
2009
Bibliography on worlds and modality
ion is usually regarded as a property of certain objects--sets, numbers, propositions, properties, etc. this paper proposes that… 
2008
2008
Property-type Objects and Modal Embedding
This invention describes a method and apparatus that can be used in optic quality monitoring of a gas laser. The method involves… 
2008
2008
Evaluating future-tensed sentences in changing contexts
According to the actualist view, what is essential in the truth conditions of a future-tensed sentence ‘F(φ)’ is the reference to… 
2007
2007
Automated support for the Design and Analysis of Security Protocols
This paper presents a user friendly formal specification language, called LS , for defining security properties. The language is… 
2004
2004
Sahlqvist theory and transfer results for hybrid logics
In the first part, we prove completeness for Sahlqvist extensions of the basic hybrid logic, and we prove that the basic hybrid… 
2003
2003
Passive Attitude Control of Flexible Spacecraft from Quaternion Measurements
In this work, we propose a dynamic controller for a spacecraft with flexible appendages and based on attitude measurements. This… 
1999
1999
Relating possible world based and POMDP based characterization of sensing actions
In this paper we discuss two diierent ways to characterize sensing actions: one based on possible worlds and another based on… 
1994
1994
Knowledge Representation for Lexical Semantics: Is Standard First Order Logic Enough?
Natural language understanding applications such as interactive planning and face-to-face translation require extensive…