Pure extensions, proof rules, and hybrid axiomatics

DOI10.1007/s11225-006-9009-6zbMath1115.03009OpenAlexW1983240156MaRDI QIDQ863181

N. E. Zubov

Publication date: 25 January 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-9009-6

zbMATH Keywords

completenesspossible worlds semanticshybrid logichybrid modal logicnominalsformal axiomatic systemshybrid modal languages

Mathematics Subject Classification ID

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

Related Items (28)

Henkin and Hybrid Logic ⋮ Adding proof calculi to epistemic logics with structured knowledge ⋮ Axioms for classical, intuitionistic, and paraconsistent hybrid logic ⋮ Exorcising the phantom zone ⋮ Global view on reactivity: switch graphs and their logics ⋮ An axiom system for basic hybrid logic with propositional quantifiers ⋮ Logic of visibility in social networks ⋮ Justification logics and hybrid logics ⋮ Axiomatizing hybrid logic using modal logic ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Completeness in hybrid type theory ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Product of Graphs and Hybrid Logic ⋮ A logic for diffusion in social networks ⋮ Completeness in equational hybrid propositional type theory ⋮ Many-sorted hybrid modal languages ⋮ Model Checking Strategic Equilibria ⋮ The Minimal System of Justification Logic with Names ⋮ ExpTime tableaux with global caching for hybrid PDL ⋮ Sound and Complete Tree-Sequent Calculus for Inquisitive Logic ⋮ Hilbert-Style Axiomatization for Hybrid XPath with Data ⋮ Hybrid counterfactual logics. David Lewis meets Arthur Prior again ⋮ Epistemic logics with structured knowledge ⋮ Unnamed Item ⋮ Topological Perspective on the Hybrid Proof Rules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• Arthur Prior and hybrid logic
• Modal languages for topology: expressivity and definability
• Modal logic with names
• Repairing the interpolation theorem in quantified modal logic
• The price of universality
• Hybrid languages
• Hierarchies of modal and temporal logics with reference pointers
• Expressivity of second order propositional modal logic
• Hybrid logics: characterization, interpolation and complexity
• Epistemology Without Knowledge and Without Belief
• Constructive interpolation in hybrid logic
• The Morning Star Paradox
• A completeness theorem in modal logic
• Interpolation for extended modal languages
• The modal logic of inequality
• Hybrid completeness
• Hybrid languages and temporal logic
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Natural Deduction for Hybrid Logic
• Internalizing labelled deduction
• Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
• A hierarchy of formulas in set theory
• An approach to tense logic¹
• Persistent and invariant formulas relative to theories of higher order
• Hybrid logics with Sahlqvist axioms
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Pure extensions, proof rules, and hybrid axiomatics