A modal two-variable fragment of second-order propositional modal logic

DOI10.1007/S10849-025-09434-YMaRDI QIDQ6913385zbMATH OpenFDO

Authors Gennady Shtakser

Publication date 21 October 2025

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10849-025-09434-Y

zbMATH Keywords

decidabilityexpressive powergeneral (Henkin) semanticssecond-order propositional modal logictwo-variable fragment

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• \(\in_K\): a non-Fregean logic of explicit knowledge
• A modal loosely guarded fragment of second-order propositional modal logic
• An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
• An egocentric logic of knowing how to tell them apart
• Axiomatizability of propositionally quantified modal logics on relational frames
• Boolean connexive logics: semantics and tableau approach
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness
• Expressivity of second order propositional modal logic
• Free quantified epistemic logics
• scientific article; zbMATH DE number 5295708 (Why is no real title available?)
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Hyperintensional logic
• Identity connective and modality
• Local properties in modal logic
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Many-dimensional modal logics: theory and applications
• Modal logic
• Multi-dimensional modal logic
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Non-Fregean propositional logic with quantifiers
• On the logic of belief and propositional quantification
• Propositional epistemic logics with quantification over agents of knowledge
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
• Propositional quantifiers in modal logic1
• Representability in second-order propositional poly-modal logic
• Sahlqvist correspondence theory for second-order propositional modal logic
• Second-order propositional modal logic: expressiveness and completeness results
• Small substructures and decidability issues for first-order logic with two variables
• Term-modal logics
• The expressive power of second-order propositional modal logic
• The inverse method
• The slingshot argument and sentential identity
• Two-variable first-order logic with equivalence closure

This page was built for publication: A modal two-variable fragment of second-order propositional modal logic

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