A modal loosely guarded fragment of second-order propositional modal logic
From MaRDI portal
Publication:6169327
DOI10.1007/s10849-022-09390-xOpenAlexW4312106134MaRDI QIDQ6169327
Publication date: 14 August 2023
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-022-09390-x
decidabilityexpressive powerHenkin semanticsloosely guarded fragmentsecond-order propositional modal logic
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Non-Fregean propositional logic with quantifiers
- \(\in_K\): a non-Fregean logic of explicit knowledge
- The slingshot argument and sentential identity
- Hyperintensional logic
- Modal languages and bounded fragments of predicate logic
- Loosely guarded fragment of first-order logic has the finite model property
- Second-order propositional modal logic: expressiveness and completeness results
- Propositional epistemic logics with quantification over agents of knowledge
- Ability and knowing how in the situation calculus
- The expressive power of second-order propositional modal logic
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Expressivity of second order propositional modal logic
- Identity connective and modality
- Indexical knowledge and robot action -- a logical account
- Boolean Connexive Logics: Semantics and tableau approach
- DECIDABILITY PROBLEMS OF EXTENDED THEORIES
- Representability in second-order propositional poly-modal logic
- On the Restraining Power of Guards
- Tolerance logic
- Handbook of philosophical logic. Vol. 2.
This page was built for publication: A modal loosely guarded fragment of second-order propositional modal logic
