Modal Logic S5 Satisfiability in Answer Set Programming

Modal logic S5 has attracted significant attention and has led to several practical applications, owing to its simplified approach to dealing with nesting modal operators. Efficient implementations for evaluating satisfiability of S5 formulas commonly rely on Skolemisation to convert them into propo...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 21; no. 5; pp. 527 - 542
Main Authors:	ALVIANO, MARIO, BATSAKIS, SOTIRIS, BARYANNIS, GEORGE
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2021
Subjects:	Declarative programming Logic Logic programming Mathematical programming Nesting Operators Original Article Semantics Syntax S5 modal logic Answer Set Programming Kripke semantics
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!