An axiom system for basic hybrid logic with propositional quantifiers

DOI10.1007/978-3-031-39784-4_8OpenAlexW4386208136MaRDI QIDQ6118684

Torben Braüner, Julie Lundbak Kofod, Patrick Blackburn

Publication date: 28 February 2024

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

Full work available at URL: https://doi.org/10.1007/978-3-031-39784-4_8

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Arthur Prior and hybrid logic
• Pure extensions, proof rules, and hybrid axiomatics
• On a family of paradoxes
• Second-order propositional modal logic: expressiveness and completeness results
• The expressive power of second-order propositional modal logic
• Propositional quantifiers in modal logic1
• Epimenides the Cretan
• On modal logic with propositional quantifiers
• Semantic analysis of tense logics
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An axiom system for basic hybrid logic with propositional quantifiers