Prior's ideal language

DOI10.1017/S0960129525000076MaRDI QIDQ6993438zbMATH OpenFDO

Authors Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod

Publication date 25 April 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129525000076

zbMATH Keywords

Arthur Priordescription logicdownarrowgeneral modelsHenkin semanticshybrid logicmodal logicpropositional quantifierstense logicuniversal modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• An axiom system for basic hybrid logic with propositional quantifiers
• Arthur Prior and hybrid logic
• Completeness in hybrid type theory
• Completeness in the theory of types
• Epimenides the Cretan
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Hybrid languages
• Hybrid logics: Characterization, interpolation and complexity
• Hybrid partial type theory
• Modal logic
• On a family of paradoxes
• On modal logic with propositional quantifiers
• Propositional quantifiers in modal logic1
• Pure extensions, proof rules, and hybrid axiomatics
• Second-order propositional modal logic: expressiveness and completeness results
• Semantic analysis of tense logics

Cited in

(2)

• A complete tableau system for basic hybrid logic with propositional quantification
• Abstract, compositional consistency: Isabelle/HOL locales for completeness à la fitting

This page was built for publication: Prior's ideal language

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