Hybrid logic and its proof-theory

DOI10.1007/978-94-007-0002-4zbMath1217.03021OpenAlexW4214880480MaRDI QIDQ5961845

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

tableauxproof theorynormalizationnatural deductionfirst-order hybrid logicinternalizationpropositional hybrid logicsoundness and completenessstandard translation

Mathematics Subject Classification ID

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

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ The Fitch-Church paradox and first order modal logic ⋮ Deductive systems with unified multiple-conclusion rules ⋮ Specification of systems with parameterised events: An institution-independent approach ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Birkhoff style calculi for hybrid logics ⋮ The monadic hybrid calculus ⋮ From \textit{counterfactual} conditionals to \textit{temporal} conditionals ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts ⋮ Unified deductive systems: an outline ⋮ The expressibility of fragments of hybrid graph logic on finite digraphs ⋮ Unnamed Item ⋮ Simple cut elimination proof for hybrid logic ⋮ Algebraic Semantics for Hybrid Logics ⋮ Observational interpretations of hybrid dynamic logic with binders and silent transitions ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Hybrid-logical reasoning in the Smarties and Sally-Anne tasks ⋮ Behavioural and abstractor specifications revisited ⋮ A Tableau System for Quasi-Hybrid Logic ⋮ Second-Order False-Belief Tasks: Analysis and Formalization ⋮ Hybrid dynamic logic institutions for event/data-based systems ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Hierarchical hybrid logic ⋮ Unnamed Item ⋮ Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization ⋮ Formalizing a Seligman-style tableau system for hybrid logic (short paper) ⋮ Leśniewski's ontology -- proof-theoretic characterization ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols