scientific article; zbMATH DE number 932649

Publication date: 8 October 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract deductive systems (03B22)

Related Items

Variants of Gödel's ontological proof in a natural deduction calculus, Back from the future, Logical theories of intention and the database perspective, Dialectical Rough Sets, Parthood and Figures of Opposition-I, April the 19th, Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics, A History of Until, Unnamed Item, A Bayesian approach to informal argument fallacies, Active logic semantics for a single agent in a static world, Interacting with Modal Logics in the Coq Proof Assistant, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations, On the universality of atomic and molecular logics via protologics, Possibilistic logic: a retrospective and prospective view, Correspondence analysis and automated proof-searching for first degree entailment, Labeled sequent calculi for modal logics and implicit contractions, Multiple agent possibilistic logic, Compositional meaning in logic, Distributed first order logic, Mechanising Gödel-Löb provability logic in HOL light, An ecumenical notion of entailment, Introducing reactive Kripke semantics and arc accessibility, A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS, Labelled calculi for the logics of rough concepts, Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger, A labeled argumentation framework, A two‐dimensional metric temporal logic, A Kripke Semantics for Hajek's BL, Higher-Order Modal Logics: Automation and Applications, Free variable tableaux for propositional modal logics, Unnamed Item, Stanisław Jaśkowski: Life and Work, Proof analysis in intermediate logics, Logical consequence and the paradoxes, Rough Sets - Past, Present and Future: Some Notes, What is a Paraconsistent Logic?, Through an Inference Rule, Darkly, Principles Of Talmudic Logic, An approach to characterize graded entailment of arguments through a label-based framework, Theory of semi-instantiation in abstract argumentation, Proofs and countermodels in non-classical logics, Hypersequent and display calculi -- a unified perspective, A survey of nonstandard sequent calculi, A family of metainferential logics, The Functional Interpretation of Direct Computations, Local Models Semantics, or contextual reasoning = locality + compatibility, Fibring argumentation frames, CERES in higher-order logic, Connectionist computations of intuitionistic reasoning, A Labeled Natural Deduction System for a Fragment of CTL *, Introducing Reactive Kripke Semantics and Arc Accessibility, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, Combining temporal logic systems, Sound and Complete Tree-Sequent Calculus for Inquisitive Logic, Truth-values as labels: a general recipe for labelled deduction, Theorem proving for conditional logics: CondLean and GOALDUCK, Intuitionistic Letcc via Labelled Deduction, Why does the proof-theory of hybrid logic work so well?, Possible worlds and resources: The semantics of \(\mathbf{BI}\), A general proof certification framework for modal logic, Fibred security language, Natural Deduction for Equality: The Missing Entity, Unnamed Item, Disjoint Logics, Higher-Order Syntax and Saturation Algorithms for Hybrid Logic, On the proof theory of infinitary modal logic, Modular sequent calculi for classical modal logics, Finite-valued semantics for canonical labelled calculi, A simple logic for reasoning about incomplete knowledge, A theory of hypermodal logics: Mode shifting in modal logic, Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere