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
2021
Review
2021
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
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
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
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
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
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
  • 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
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
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
Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The… Expand