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

Related topics

Related topics

50 relations
Abductive reasoningAccessibility relationAccident (philosophy)Actualism
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Light Interaction with Photonic and Plasmonic Resonances
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
Overview of ImageCLEFlifelog 2018: Daily Living Understanding and Lifelog Moment Retrieval
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
A Comprehensive Survey on Domain Adaptation for Visual Applications
  • 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
Authorship Attribution for Social Media Forensics
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 Comprehensive Review of Smart Wheelchairs: Past, Present, and Future
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
An Introduction to Description Logic
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
Review of MRI-based Brain Tumor Image Segmentation Using Deep Learning Methods
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
Temporal and Modal Logic
  • 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
Modal Logic - An Introduction
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
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE