Modal logic S5 satisfiability in answer set programming

DOI10.1017/S1471068421000247OpenAlexW3190660638MaRDI QIDQ5019595FDOQ5019595

Authors: M. Alviano, Sotiris Batsakis, George Baryannis 

Publication date: 10 January 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.04194

Recommendations

• On uniform equivalence of epistemic logic programs
• An assumption-based approach for solving the minimal S5-satisfiability problem
• Formulas in modal logic S4
• On relation between constraint answer set programming and satisfiability modulo theories
• Constraint programming for modelling and solving modal satisfiability

zbMATH Keywords

answer set programmingmodal logicKripke semanticsS5

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• InKreSAT: modal reasoning via incremental reduction to SAT
• A structure-preserving clause form translation
• A completeness theorem in modal logic
• Clausal resolution for normal modal logics
• Tableau methods for modal and temporal logics
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• One-Pass Tableaux for Computation Tree Logic
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• A simple propositional \(\text{S}5\) tableau system
• Strategies for modal resolution: Results and problems
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• Semantics-Based Translation Methods for Modal Logics
• Weak models of distributed computing, with connections to modal logic
• Answer set programming
• Automated Reasoning with Analytic Tableaux and Related Methods
• Automated reasoning in modal and description logics via SAT encoding: the case study of \(K_m/\mathcal{ALC}\)-satisfiability
• A correct polynomial translation of S4 into intuitionistic logic
• A trajectory calculus for qualitative spatial reasoning using answer set programming
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Cited In (5)

• Modal trees: Correction to a decision procedure for S5 (and T)
• Modal Logics Between S 4 and S 5
• Title not available (Why is that?)
• Modal Satisfiability via SMT Solving
• Modal logic S5 in answer set programming with lazy creation of worlds

Uses Software

• LoTREC
• Clingo
• Spartacus
• InKreSAT

This page was built for publication: Modal logic S5 satisfiability in answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019595)