Efficient strategies for Automated reasoning in modal logics

2005 ◽  
pp. 182-197
Author(s):  
Stéphane Demri
Keyword(s):  
Automated Reasoning ◽  
Modal Logics

Chapter 32. SAT Techniques for Modal and Description Logics

2021 ◽  
Author(s):  
Roberto Sebastiani ◽  
Armando Tacchella
Keyword(s):  
Computer Science ◽  
Automated Reasoning ◽  
Description Logics ◽  
Theoretical Framework ◽  
Modal Logics

In the last two decades, modal and description logics have provided a theoretical framework for important applications in many areas of computer science. For this reason, the problem of automated reasoning in modal and description logics has been thoroughly investigated. In this chapter we show how efficient Boolean reasoning techniques have been imported, used and integrated into reasoning tools for modal and description logics. To this extent, we focus on modal logics, and in particular mainly on K(m). In particular, we provide some background in modal logics; we describe a basic theoretical framework and we present and analyze the basic tableau-based and DPLL-based techniques; we describe optimizations and extensions of the DPLL-based procedures; we introduce the automata-theoretic/OBDD-based approach; finally, we present the eager approach.

Modal logics with Belnapian truth values

2010 ◽  
Vol 20 (3) ◽  
pp. 279-304 ◽  
Author(s):  
Serge P Odintsov ◽  
Heinrich Wansing
Keyword(s):  
Modal Logics ◽  
Truth Values

Automated reasoning about enterprise concepts

1997 ◽  
Vol 18 (2) ◽  
pp. 56-58 ◽  
Author(s):  
Ernesto Compatangelo ◽  
Giovanni Rumolo
Keyword(s):  
Automated Reasoning

scholarly journals On modal logics arising from scattered locally compact Hausdorff spaces

2019 ◽  
Vol 170 (5) ◽  
pp. 558-577
Author(s):  
Guram Bezhanishvili ◽  
Nick Bezhanishvili ◽  
Joel Lucero-Bryan ◽  
Jan van Mill
Keyword(s):  
Modal Logics ◽  
Hausdorff Spaces ◽  
Locally Compact

Modal logics of domains on the real plane

Studia Logica ◽  
1983 ◽  
Vol 42 (1) ◽  
pp. 63-80 ◽  
Author(s):  
V. B. Shehtman
Keyword(s):  
Modal Logics ◽  
Real Plane ◽  
The Real
Sign in / Sign up

Export Citation Format

Share Document