Pure extensions, proof rules, and hybrid axiomatics

DOI10.1007/S11225-006-9009-6zbMATH Open1115.03009OpenAlexW1983240156MaRDI QIDQ863181FDOQ863181

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

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

zbMATH Keywords

completenesshybrid logicpossible worlds semanticsnominalsformal axiomatic systemshybrid modal languageshybrid modal logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (35)

• 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
• Topological perspective on the hybrid proof rules
• Many-sorted hybrid modal languages
• Henkin and hybrid logic
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• A hybridization of irreflexive modal logics
• Global view on reactivity: switch graphs and their logics
• What is nominalistic mereology?
• 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
• Exorcising the phantom zone
• Completeness in hybrid type theory
• Visibility and exploitation in social networks
• Product of Graphs and Hybrid Logic
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.
• Birkhoff completeness for hybrid-dynamic first-order logic
• ExpTime tableaux with global caching for hybrid PDL
• An axiom system for basic hybrid logic with propositional quantifiers
• The Minimal System of Justification Logic with Names
• Epistemic logics with structured knowledge
• Data graphs with incomplete information (and a way to complete them)
• A Hilbert-style axiomatisation for equational hybrid logic
• Title not available (Why is that?)

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)