Converse-PDL with regular inclusion axioms: a framework for MAS logics
type: Item
instance of: scholarly article
title: Converse-PDL with regular inclusion axioms: a framework for MAS logics
zbMATH Open document ID: 1242.03030
author: Barbara Dunin-Kȩplicz
author: Linh Anh Nguyen
author: Andrzej Szałas
published in: Journal of Applied Non-Classical Logics
publication date: 2012-07-17T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 6058061
describes a project that uses: SQEMA
MaRDI profile type: Publication
full work available at URL: jancl.21.61-91
OpenAlex ID: W1993086076
cites work: An overview of tableau algorithms for description logics
cites work: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
cites work: Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
cites work: Combining deduction and model checking into tableaux and algorithms for converse-PDL.
cites work: Deciding regular grammar logics with converse through first-order logic
cites work: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
cites work: Q3803093
cites work: Q3543581
cites work: A near-optimal method for reasoning about action
cites work: Modal tableau calculi and interpolation
cites work: On the Correspondence Between Modal and Classical Logic: an Automated Approach
cites work: Prolegomena to dynamic logic for belief revision
DOI: 10.3166/JANCL.21.61-91
description: scientific article; zbMATH DE number 6058061