Why does the proof-theory of hybrid logic work so well? (Q3647283): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.17.521-543
+Normal rank
@@ Property / OpenAlex ID @@
+W2080062560
@@ Property / OpenAlex ID: W2080062560 / rank @@
+Normal rank
@@ Property / cites work @@
+Repairing the interpolation theorem in quantified modal logic
+Normal rank
@@ Property / cites work @@
+Resolution in Modal, Description and Hybrid Logic
@@ Property / cites work: Resolution in Modal, Description and Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled propositional modal logics: theory and practice
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Modal logic as dialogical logic
@@ Property / cites work: Modal logic as dialogical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive interpolation in hybrid logic
@@ Property / cites work: Constructive interpolation in hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating Tableau Calculi for Hybrid Logics Extending K
+Normal rank
@@ Property / cites work @@
+Tableau-based Decision Procedures for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen formulation of the modal logic S5
+Normal rank
@@ Property / cites work @@
+Natural Deduction for Hybrid Logic
@@ Property / cites work: Natural Deduction for Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Two natural deduction systems for hybrid logic: A comparison
+Normal rank
@@ Property / cites work @@
+Natural deduction for first-order hybrid logic
@@ Property / cites work: Natural deduction for first-order hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
+Normal rank
@@ Property / cites work @@
+Axioms for classical, intuitionistic, and paraconsistent hybrid logic
+Normal rank
@@ Property / cites work @@
+Intuitionistic hybrid logic
@@ Property / cites work: Intuitionistic hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+On the development of the model-theoretic viewpoint in logical theory
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394920
@@ Property / cites work: Q4394920 / rank @@
+Normal rank
@@ Property / cites work @@
+Internalization: The Case of Hybrid Logics
@@ Property / cites work: Internalization: The Case of Hybrid Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Normal Modal Propositional Logics
+Normal rank
@@ Property / cites work @@
+The idea of a proof-theoretic semantics and the meaning of the logical operations
+Normal rank