Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:qucosa:de:qucosa:78903

The Complexity of Reasoning with Boolean Modal Logics: Extended Version

Authors
Publication date
20 May 2022
Publisher
Aachen University of Technology

Abstract

Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for constructing complex modal parameters to be used in the box and diamond operators. This asymmetry is not present in Boolean Modal Logics, in which box and diamond quantify over arbitrary Boolean combinations of atomic model parameters.This is an extended version of the article in: Advances in Modal Logic (AiML), Volume

Similar works

Full text

thumbnail-image

HSSS - Hochschulschriftenserver der SLUB

redirect
oaioai:qucosa:de:qucosa:78903
Last time updated on 18/02/2023

This paper was published in HSSS - Hochschulschriftenserver der SLUB.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.