Hybrid logic and its proof-theory
DOI10.1007/978-94-007-0002-4zbMATH Open1217.03021OpenAlexW4214880480MaRDI QIDQ5961845FDOQ5961845
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
proof theorynatural deductionnormalizationtableauxinternalizationsoundness and completenessstandard translationfirst-order hybrid logicpropositional hybrid logic
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)
Cited In (57)
- Algebraic Semantics for Hybrid Logics
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
- Internalization: The case of hybrid logics
- Title not available (Why is that?)
- Why does the proof-theory of hybrid logic work so well?
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- A Tableau System for Quasi-Hybrid Logic
- Hybrid logics with Sahlqvist axioms
- Rigid first-order hybrid logic
- Constructive Formalization of Hybrid Logic with Eventualities
- Hybrid formulas and elementarily generated modal logics
- Title not available (Why is that?)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- A Hybrid Intuitionistic Logic: Semantics and Decidability
- Behavioural and abstractor specifications revisited
- Hierarchical hybrid logic
- The expressibility of fragments of hybrid graph logic on finite digraphs
- Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization
- Second-Order False-Belief Tasks: Analysis and Formalization
- Algebraization of Hybrid Logic with Binders
- Topological perspective on the hybrid proof rules
- Intuitionistic hybrid logic
- The Complete Proof Theory of Hybrid Systems
- The Fitch-Church paradox and first order modal logic
- On the expressiveness of TPTL and MTL
- Specification of systems with parameterised events: An institution-independent approach
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- Hybrid Logical Analyses of the Ambient Calculus
- Intuitionistic hybrid logic: introduction and survey
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Simple cut elimination proof for hybrid logic
- Deductive systems with unified multiple-conclusion rules
- Birkhoff style calculi for hybrid logics
- Hybrid logics of separation axioms
- Hybrid dynamic logic institutions for event/data-based systems
- Hybrid Logics with Infinitary Proof Systems
- Introducing \(H\), an institution-based formal specification and verification language
- 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
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
- Foundations of logic programming in hybrid logics with user-defined sharing
- Logics for actor networks: a two-stage constrained-hybridisation approach
- The monadic hybrid calculus
- Observational interpretations of hybrid dynamic logic with binders and silent transitions
- Formalizing a Seligman-style tableau system for hybrid logic (short paper)
- Leśniewski's ontology -- proof-theoretic characterization
- A Hilbert-style axiomatisation for equational hybrid logic
- Title not available (Why is that?)
- Unified deductive systems: an outline
- On the satisfiability of local first-order logics with data
- Title not available (Why is that?)
- Quantifiers and conceptual existence
- From \textit{counterfactual} conditionals to \textit{temporal} conditionals
- Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.
- Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
- Data graphs with incomplete information (and a way to complete them)
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)
