Propositional quantifiers in modal logic1

DOI10.1111/j.1755-2567.1970.tb00432.xzbMath0302.02005OpenAlexW2074944668MaRDI QIDQ4055622

Kit Fine

Publication date: 1971

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1970.tb00432.x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (65)

OPERANDS AND INSTANCES ⋮ Did Descartes make a diagonal argument? ⋮ On Composing Finite Forests with Modal Logics ⋮ The Complexity of One-Agent Refinement Modal Logic ⋮ Non-axiomatizable second order intuitionistic propositional logic ⋮ Higher-order logic and disquotational truth ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Modal ontology and generalized quantifiers ⋮ Uniform interpolation and propositional quantifiers in modal logics ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ The expressive power of second-order propositional modal logic ⋮ Relative necessity reformulated ⋮ Propositional quantification in logics of contingency ⋮ The unaxiomatizability of a quantified intensional logic ⋮ To be announced ⋮ Semantic analysis of orthologic ⋮ An axiom system for basic hybrid logic with propositional quantifiers ⋮ Relative necessity and propositional quantification ⋮ THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS ⋮ Logic talk ⋮ Modal logics and local quantifiers: a zoo in the elementary hierarchy ⋮ Quantified multimodal logics in simple type theory ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Set theory as modal logic ⋮ First-order modal theories ⋮ Unnamed Item ⋮ EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS ⋮ Second-order propositional modal logic and monadic alternation hierarchies ⋮ The modal logic of agreement and noncontingency ⋮ PLQP \& Company: decidable logics for quantum algorithms ⋮ Refinement modal logic ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ Abstract argument games via modal logic ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Comments to `Logics of public communications' ⋮ Counterlogicals as counterconventionals ⋮ Elusive propositions ⋮ On the logic of belief and propositional quantification ⋮ Implicit, explicit and speculative knowledge ⋮ Reprint of: Reasoning about knowledge of unawareness revisited ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ Semantics for knowledge and change of awareness ⋮ Pitts' quantifiers are not topological quantification ⋮ A simple embedding of T into double S5 ⋮ Expressivity of second order propositional modal logic ⋮ Classical second-order intensional logic with maximal propositions ⋮ Unnamed Item ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ⋮ A second-order relevance logic with modality ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ The complexity of one-agent refinement modal logic ⋮ Propositional quantification in bimodal S5 ⋮ An Application of Model Checking Games to Abstract Argumentation ⋮ Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Reasoning about knowledge of unawareness ⋮ Hybrid logic meets IF modal logic ⋮ Some Formal Semantics for Epistemic Modesty ⋮ Operators in the paradox of the knower ⋮ An essay in combinatory dynamic logic ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity ⋮ On 2nd order intuitionistic propositional calculus with full comprehension ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM ⋮ A unified semantics for a family of modal logics with propositional constants

This page was built for publication: Propositional quantifiers in modal logic1