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
2021
Review
2021
Deep Multi-Modal Object Detection and Semantic Segmentation for Autonomous Driving: Datasets, Methods, and Challenges
Recent advancements in perception for autonomous driving are driven by deep learning. In order to achieve robust and accurate… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2020
Review
2020
dynesty: a dynamic nested sampling package for estimating Bayesian posteriors and evidences
We present dynesty, a public, open-source, Python package to estimate Bayesian posteriors and evidences (marginal likelihoods… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2019
Review
2019
A Survey of Multi-View Representation Learning
Recently, multi-view representation learning has become a rapidly growing direction in machine learning and data mining areas… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2018
Review
2018
A Survey on Aerial Swarm Robotics
The use of aerial swarms to solve real-world problems has been increasing steadily, accompanied by falling prices and improving… Expand
  • figure 1
  • table I
  • figure 2
Review
2018
Review
2018
Distinguishing between facts and opinions for sentiment analysis: Survey and challenges
Abstract Sentiment analysis requires a lot of information coming from different sources and about different topics to be… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Highly Cited
2007
Highly Cited
2007
Handbook of Modal Logic
Part 1. Basic Theory Modal Logic: A Semantic Perspective (J. van Benthem and P. Blackburn) Modal Proof Theory (M. Fitting… Expand
Highly Cited
1990
Highly Cited
1990
Temporal and Modal Logic
  • E. 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
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
Highly Cited
1968
Highly Cited
1968
A New Introduction to Modal Logic
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A… Expand
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
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