scholarly journals Ground Nonmonotonic Modal Logics

1997 ◽  
Vol 7 (4) ◽  
pp. 523-548 ◽  
Author(s):  
FRANCESCO M. DONINI ◽  
DANIELE NARDI ◽  
RICCARDO ROSATI
Keyword(s):  
Modal Logics ◽  
Nonmonotonic Modal Logics

Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule1

1991 ◽  
Vol 14 (3) ◽  
pp. 355-366
Author(s):  
Mirosław Truszczynski
Keyword(s):  
Modal Logic ◽  
Modal Logics ◽  
Nonmonotonic Logic ◽  
Kripke Semantics ◽  
Negation As Failure ◽  
The Family ◽  
Nonmonotonic Modal Logics ◽  
Nonmonotonic Logics

In the paper we study a family of modal nonmonotonic logics closely related to the family of modal nonmonotonic logics proposed by McDermott and Doyle. For a modal logic S and a fixed collection of formulas X we introduce the notion of an ( S, X)-expansion. We restrict to modal logics which have a complete Kripke semantics. We study the properties of ( S, X)-expansions and show that in many respects they are analogous to the properties of S-expansions in nonmonotonic modal logics of McDermott and Doyle.

A uniform tableaux method for nonmonotonic modal logics

1996 ◽  
pp. 87-103 ◽  
Author(s):  
Francesco M. Donini ◽  
Fabio Massacci ◽  
Daniele Nardi ◽  
Riccardo Rosati
Keyword(s):  
Modal Logics ◽  
Nonmonotonic Modal Logics

A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

2020 ◽  
Vol 176 (3-4) ◽  
pp. 205-234
Author(s):  
Ezgi Iraz Su
Keyword(s):  
Nonmonotonic Reasoning ◽  
Answer Set Programming ◽  
General Purpose ◽  
Modal Logics ◽  
General Strategy ◽  
Autoepistemic Logic ◽  
Nonmonotonic Modal Logics ◽  
The Given ◽  
Important Form ◽  
Answer Set

This paper presents a general strategy, bringing together some major types of nonmonotonic reasoning under a monotonic bimodal setting. Such formalisms are also of interest to the fields of knowledge representation and declarative programming. We exemplify the methodology, capturing minimal model reasoning that underlies nonmonotonicity over S4F first, but then we also show how to apply the technique to other nonmonotonic logics respectively based on the modal logics KD45 and SW5. We naturally succeed it, by modifying only the axioms of the underlying modal logic and show that it successfully works. The last two formalisms are also known as autoepistemic logic (AEL) and its reflexive extension (RAEL) in the given order: AEL is an important form of nonmonotonic reasoning, introduced by Robert C. Moore in order to allow an agent to reason about his own knowledge. Equilibrium logic (EL) is a general-purpose nonmonotonic reasoning formalism, proposed more recently by David Pearce as a semantical framework for answer set programming (ASP). The latter is an efficient declarative problem solving approach with lots of applications to science and technology. Fariñas et al. have embedded EL (and so ASP) into a monotonic bimodal logic. We take this work as an initiative and successfully apply a similar methodology to closely aligned nonmonotonic modal logics. We finally discuss the potential capability to subsume the epistemic extensions of ASP within our unified paradigm.

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

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