Hybrid logic and its proof-theory

DOI10.1007/978-94-007-0002-4MaRDI QIDQ5961845zbMATH OpenOpenAlexFDO

Authors Torben Braüner

Publication date 16 September 2010

Published in Applied Logic Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0002-4

zbMATH Keywords

proof theorynatural deductionnormalizationtableauxinternalizationsoundness and completenessstandard translationfirst-order hybrid logicpropositional hybrid logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• First-order hybrid logic: introduction and survey
• Modal Hybrid Logic
• Deductive systems and the decidability problem for hybrid logics
• Why does the proof-theory of hybrid logic work so well?
• Representation, reasoning, and relational structures: a hybrid logic manifesto

Cited in

(71)

• scientific article; zbMATH DE number 7407777 (Why is no real title available?)
• First-order hybrid logic: introduction and survey
• Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
• Internalization: The case of hybrid logics
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Why does the proof-theory of hybrid logic work so well?
• scientific article; zbMATH DE number 7325814 (Why is no real title available?)
• Unified deductive systems: an outline
• scientific article; zbMATH DE number 1954384 (Why is no real title available?)
• Rigid first-order hybrid logic
• Hybrid logics with Sahlqvist axioms
• Constructive Formalization of Hybrid Logic with Eventualities
• Second-order false-belief tasks: analysis and formalization
• Indexical hybrid tense logic
• Hybrid formulas and elementarily generated modal logics
• A proof-theoretic study of the correspondence of hybrid logic and classical logic
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Behavioural and abstractor specifications revisited
• scientific article; zbMATH DE number 6533399 (Why is no real title available?)
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• Justification logics and hybrid logics
• On the satisfiability of local first-order logics with data
• Hierarchical hybrid logic
• Quantifiers and conceptual existence
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals
• Deductive systems and the decidability problem for hybrid logics
• The expressibility of fragments of hybrid graph logic on finite digraphs
• Modal Hybrid Logic
• Algebraization of Hybrid Logic with Binders
• Topological perspective on the hybrid proof rules
• Henkin and hybrid logic
• Adding Intensional Machinery to Hybrid Logic
• The Fitch-Church paradox and first order modal logic
• Intuitionistic hybrid logic
• The Complete Proof Theory of Hybrid Systems
• On the expressiveness of TPTL and MTL
• Natural Deduction for Hybrid Logic
• Dynamic logic with binders and its application to the development of reactive systems
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Intuitionistic hybrid logic: introduction and survey
• Specification of systems with parameterised events: An institution-independent approach
• Hybrid Logical Analyses of the Ambient Calculus
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Simple cut elimination proof for hybrid logic
• Birkhoff style calculi for hybrid logics
• Hybrid logics of separation axioms
• Deductive systems with unified multiple-conclusion rules
• Sequent calculus for hybrid logic
• Hybrid dynamic logic institutions for event/data-based systems
• On the existential fragments of local first-order logics with data
• Pure extensions, proof rules, and hybrid axiomatics
• Algebraic semantics for hybrid logics
• Introducing \(H\), an institution-based formal specification and verification language
• Hybrid Logics with Infinitary Proof Systems
• Natural deduction for first-order hybrid logic
• Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.
• Foundations of Logic Programming in Hybridised Logics
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Higher-order syntax and saturation algorithms for hybrid logic
• Incorrect responses in first-order false-belief tests: a hybrid-logical formalization
• Foundations of logic programming in hybrid logics with user-defined sharing
• A tableau system for quasi-hybrid logic
• Logics for actor networks: a two-stage constrained-hybridisation approach
• The monadic hybrid calculus
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
• Formalizing a Seligman-style tableau system for hybrid logic (short paper)
• Data graphs with incomplete information (and a way to complete them)
• Leśniewski's ontology -- proof-theoretic characterization
• A Hilbert-style axiomatisation for equational hybrid logic

This page was built for publication: Hybrid logic and its proof-theory

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