Propositional epistemic logics with quantification over agents of knowledge
type: Item
instance of: scholarly article
title: Propositional epistemic logics with quantification over agents of knowledge
zbMATH Open document ID: 1437.03074
author: Gennady Shtakser
published in: Studia Logica
publication date: 2018-04-16T00:00:00Z
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 6860343
zbMATH Keywords: propositional epistemic logics
zbMATH Keywords: quantification over modal operators
zbMATH Keywords: de re and de dicto readings
zbMATH Keywords: guarded fragments of first-order logic
zbMATH Keywords: decision problem
MaRDI profile type: Publication
full work available at URL: s11225-017-9741-0
OpenAlex ID: W2753463685
cites work: Modal languages and bounded fragments of predicate logic
cites work: Modal logic
cites work: Q3128959
cites work: Free quantified epistemic logics
cites work: Bounded situation calculus action theories
cites work: Q4845472
cites work: Term-modal logics
cites work: Many-dimensional modal logics: theory and applications
cites work: On the Restraining Power of Guards
cites work: Naming and Identity in Epistemic Logics Part I: The Propositional Case
cites work: Naming and identity in epistemic logic. II: A first-order logic for naming
cites work: Loosely guarded fragment of first-order logic has the finite model property
cites work: Computer Science Logic
cites work: DECIDABILITY PROBLEMS OF EXTENDED THEORIES
cites work: Q4858037
cites work: Q4001345
cites work: Q4789460
cites work: Q4578043
cites work: Decidable fragments of first-order modal logics
DOI: 10.1007/S11225-017-9741-0
description: scientific article; zbMATH DE number 6860343