Pure extensions, proof rules, and hybrid axiomatics

DOI10.1007/S11225-006-9009-6MaRDI QIDQ863181zbMATH OpenOpenAlexFDO

Authors 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

completenesshybrid logicpossible worlds semanticsnominalsformal axiomatic systemshybrid modal languageshybrid modal logic

Mathematics Subject Classification ID

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

Recommendations

• Natural deduction for first-order hybrid logic
• First-order hybrid logic: introduction and survey
• Hybrid logic and its proof-theory
• Hybrid completeness
• Deductive systems and the decidability problem for hybrid logics

Cites work

• scientific article; zbMATH DE number 3125693 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 1070621 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3259043 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A completeness theorem in modal logic
• A hierarchy of formulas in set theory
• An approach to tense logic¹
• An essay in combinatory dynamic logic
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Arthur Prior and hybrid logic
• Constructive interpolation in hybrid logic
• Epistemology without knowledge and without belief
• Expressivity of second order propositional modal logic
• Hierarchies of modal and temporal logics with reference pointers
• Hybrid completeness
• Hybrid languages
• Hybrid languages and temporal logic
• Hybrid logics with Sahlqvist axioms
• Hybrid logics: Characterization, interpolation and complexity
• Internalizing labelled deduction
• Interpolation for extended modal languages
• Modal languages for topology: expressivity and definability
• Modal logic
• Modal logic with names
• Natural Deduction for Hybrid Logic
• Persistent and invariant formulas relative to theories of higher order
• Repairing the interpolation theorem in quantified modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The Morning Star Paradox
• The modal logic of inequality
• The price of universality
• Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators

Cited in

(35)

• scientific article; zbMATH DE number 7407777 (Why is no real title available?)
• Completeness in equational hybrid propositional type theory
• A logic for diffusion in social networks
• A Hybrid Public Announcement Logic with Distributed Knowledge
• Model Checking Strategic Equilibria
• Axiomatizing hybrid products of monotone neighborhood frames
• Logic of visibility in social networks
• A proof-theoretic study of the correspondence of hybrid logic and classical logic
• Justification logics and hybrid logics
• Hilbert-style axiomatization for hybrid XPath with data
• Adding proof calculi to epistemic logics with structured knowledge
• Many-sorted hybrid modal languages
• Topological perspective on the hybrid proof rules
• Henkin and hybrid logic
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• A hybridization of irreflexive modal logics
• What is nominalistic mereology?
• Global view on reactivity: switch graphs and their 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
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Completeness in hybrid type theory
• Exorcising the phantom zone
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Visibility and exploitation in social networks
• Product of Graphs and Hybrid Logic
• Birkhoff completeness for hybrid-dynamic first-order logic
• Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.
• ExpTime tableaux with global caching for hybrid PDL
• Epistemic logics with structured knowledge
• The Minimal System of Justification Logic with Names
• An axiom system for basic hybrid logic with propositional quantifiers
• Data graphs with incomplete information (and a way to complete them)
• A Hilbert-style axiomatisation for equational hybrid logic

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

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