Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Modal logic

Known as: , Alethic logic, Contingent truth 
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
In this Review, the theory and applications of optical micro and nanoresonators are presented from the underlying concept of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2018
Review
2018
Benchmarking in Multimedia and Retrieval related research fields has a long tradition and important position within the community… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Review
2017
Review
2017
  • Gabriela Csurka
  • Domain Adaptation in Computer Vision Applications
  • 2017
  • Corpus ID: 31530137
The aim of this chapter is to give an overview of domain adaptation and transfer learning with a specific view to visual… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
Review
2017
Review
2017
The veil of anonymity provided by smartphones with pre-paid SIM cards, public Wi-Fi hotspots, and distributed networks like Tor… Expand
  • figure 1
  • table I
  • table II
  • figure 2
  • figure 3
Is this relevant?
Review
2017
Review
2017
A smart wheelchair (SW) is a power wheelchair (PW) to which computers, sensors, and assistive technology are attached. In the… Expand
  • table I
  • table II
  • figure 1
  • table III
  • table IV
Is this relevant?
Review
2017
Review
2017
2 A Basic Description Logic 10 2.1 The concept language of the DL ALC 10 2.2 ALC knowledge bases 16 2.2.1 ALC TBoxes 17 2.2.2 ALC… Expand
Is this relevant?
Review
2016
Review
2016
Brain tumor segmentation is an important task in medical image processing. Early diagnosis of brain tumors plays an important… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Highly Cited
1990
Highly Cited
1990
  • E. Allen Emerson
  • Handbook of Theoretical Computer Science, Volume…
  • 1990
  • Corpus ID: 6062082
Publisher Summary This chapter discusses temporal and modal logic. The chapter describes a multiaxis classification of systems of… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Contents Preface Part I: 1. Introduction 2. Logical preliminaries Part II: 3. Standard models for modal logics: 4. Normal systems… Expand
Is this relevant?
Highly Cited
1963
Highly Cited
1963
Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The… Expand
Is this relevant?