scientific article; zbMATH DE number 1163391
From MaRDI portal
Publication:4394920
zbMath0908.03004MaRDI QIDQ4394920
Publication date: 11 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Axioms for classical, intuitionistic, and paraconsistent hybrid logic, Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts, Algebraic Semantics for Hybrid Logics, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, Bridges from Language to Logic: Concepts, Contexts and Ontologies, Natural deduction for first-order hybrid logic, Intuitionistic hybrid logic, A proof-theoretic study of the correspondence of hybrid logic and classical logic, Second-Order False-Belief Tasks: Analysis and Formalization, Why does the proof-theory of hybrid logic work so well?, Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization, Formalizing a Seligman-style tableau system for hybrid logic (short paper), Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere