Recommendations
Cited in
(86)- A proof-theoretic study of the correspondence of hybrid logic and classical logic
- Hybrid logics of separation axioms
- Birkhoff style calculi for hybrid logics
- Natural deduction for first-order hybrid logic
- Observational interpretations of hybrid dynamic logic with binders and silent transitions
- Hybrid dynamic logic institutions for event/data-based systems
- 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
- Specification of systems with parameterised events: An institution-independent approach
- Introducing H, an institution-based formal specification and verification language
- A Hilbert-style axiomatisation for equational hybrid logic
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
- On the expressiveness of TPTL and MTL
- Rigid first-order hybrid logic
- Hierarchical hybrid logic
- Foundations of logic programming in hybrid logics with user-defined sharing
- Hybrid formulas and elementarily generated modal logics
- Logics for actor networks: a two-stage constrained-hybridisation approach
- The expressibility of fragments of hybrid graph logic on finite digraphs
- Intuitionistic hybrid logic
- Internalization: The case of hybrid logics
- Foundations of Logic Programming in Hybridised Logics
- A tableau system for quasi-hybrid logic
- Second-order false-belief tasks: analysis and formalization
- Higher-order syntax and saturation algorithms for hybrid logic
- Topological perspective on the hybrid proof rules
- The Complete Proof Theory of Hybrid Systems
- Simple cut elimination proof for hybrid logic
- Constructive Formalization of Hybrid Logic with Eventualities
- Dynamic logic with binders and its application to the development of reactive systems
- The Fitch-Church paradox and first order modal logic
- Algebraic semantics for hybrid logics
- Deductive systems and the decidability problem for hybrid logics
- Henkin and hybrid logic
- scientific article; zbMATH DE number 6533399 (Why is no real title available?)
- Adding Intensional Machinery to Hybrid Logic
- Sequent calculus for hybrid logic
- Hybrid Logical Analyses of the Ambient Calculus
- Why does the proof-theory of hybrid logic work so well?
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- scientific article; zbMATH DE number 1954384 (Why is no real title available?)
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- The monadic hybrid calculus
- Natural Deduction for Hybrid Logic
- Internalizing labelled deduction
- Incorrect responses in first-order false-belief tests: a hybrid-logical formalization
- Deductive systems with unified multiple-conclusion rules
- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- First-order hybrid logic: introduction and survey
- Indexical hybrid tense logic
- Modal Hybrid Logic
- Algebraization of Hybrid Logic with Binders
- Hybrid Logics with Infinitary Proof Systems
- A Hybrid Intuitionistic Logic: Semantics and Decidability
- Hybrid logics with Sahlqvist axioms
- scientific article; zbMATH DE number 7325814 (Why is no real title available?)
- From \textit{counterfactual} conditionals to \textit{temporal} conditionals
- Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
- Unified deductive systems: an outline
- On the existential fragments of local first-order logics with data
- Justification logics and hybrid logics
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- Data graphs with incomplete information (and a way to complete them)
- On the satisfiability of local first-order logics with data
- Quantifiers and conceptual existence
- Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models.
- Data-aware hybrid tableaux
- A modular bisimulation characterisation for fragments of hybrid logic
- Internal and external calculi: ordering the jungle without being lost in translations
- Completeness of tableau calculi for two-dimensional hybrid logics
- Defining logical systems via algebraic constraints on proofs
- Games for hybrid logic from semantic games to analytic calculi
- Agent-knowledge logic for alternative epistemic logic
- Day algebras
- Agent-knowledge logic for alternative epistemic logic
- Behavioural and abstractor specifications revisited
- A complete tableau system for basic hybrid logic with propositional quantification
- Playing with modalities (invited talk)
- Terminating hybrid tableaus for ordered models
- Abstract, compositional consistency: Isabelle/HOL locales for completeness à la fitting
- A Lindström theorem for the hybrid logic \(\mathcal{H}(\exists)\)
- Intuitionistic hybrid logic: introduction and survey
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- Pure extensions, proof rules, and hybrid axiomatics
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)
