scientific article; zbMATH DE number 932649
From MaRDI portal
Publication:4894942
abductionalgebra of labelsalgebraic semanticsalgorithmic proof systemconsequence relationCurry-Howard interpretationfibred semanticsfirst-order classical logicGentzen type systemsHilbert type systemsinteractive practical reasoning systemslabelled analytic deductionlabelled deductive systemlinear logiclogical systemmodal logicnonmonotonic logicsprioritised logicsrelevance logicresource logicsstructured consequence relationtableaux systems
Cited in
(98)- Fibred security language
- A theory of hypermodal logics: Mode shifting in modal logic
- Compositional meaning in logic
- Distributed first order logic
- Combining temporal logic systems
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Introducing reactive Kripke semantics and arc accessibility
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
- On the proof theory of infinitary modal logic
- On the universality of atomic and molecular logics via protologics
- Proofs and countermodels in non-classical logics
- Hypersequent and display calculi -- a unified perspective
- A survey of nonstandard sequent calculi
- Fibring argumentation frames
- Modular sequent calculi for classical modal logics
- Finite-valued semantics for canonical labelled calculi
- A simple logic for reasoning about incomplete knowledge
- Variants of Gödel's ontological proof in a natural deduction calculus
- Active logic semantics for a single agent in a static world
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- Connectionist computations of intuitionistic reasoning
- Correspondence analysis and automated proof-searching for first degree entailment
- Higher-order syntax and saturation algorithms for hybrid logic
- Back from the future
- Higher-order modal logics: automation and applications
- A history of until
- Interacting with Modal Logics in the Coq Proof Assistant
- Rough Sets - Past, Present and Future: Some Notes
- What is a paraconsistent logic?
- Through an inference rule, darkly
- Principles of Talmudic logic
- April the 19th
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
- A Labeled Natural Deduction System for a Fragment of CTL *
- 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
- Why does the proof-theory of hybrid logic work so well?
- scientific article; zbMATH DE number 3961574 (Why is no real title available?)
- Labeled sequent calculi for modal logics and implicit contractions
- Labelled natural deduction for substructural logics
- scientific article; zbMATH DE number 510780 (Why is no real title available?)
- Parsing natural language using LDS: a prototype
- scientific article; zbMATH DE number 1140672 (Why is no real title available?)
- scientific article; zbMATH DE number 1790421 (Why is no real title available?)
- Multiple agent possibilistic logic
- Free variable tableaux for propositional modal logics
- Stanisław Jaśkowski: life and work
- scientific article; zbMATH DE number 753774 (Why is no real title available?)
- scientific article; zbMATH DE number 2101986 (Why is no real title available?)
- Logical consequence and the paradoxes
- scientific article; zbMATH DE number 1421197 (Why is no real title available?)
- scientific article; zbMATH DE number 1421202 (Why is no real title available?)
- Intuitionistic Letcc via Labelled Deduction
- Disjoint logics
- Certification of prefixed tableau proofs for modal logic
- Dialectical Rough Sets, Parthood and Figures of Opposition-I
- A fully classical truth theory characterized by substructural means
- A two-dimensional metric temporal logic
- An approach to characterize graded entailment of arguments through a label-based framework
- A complete axiomatisation for quantifier-free separation logic
- The functional interpretation of direct computations
- Logical explanations for deep relational machines using relevance information
- A general proof certification framework for modal logic
- Natural Deduction for Equality: The Missing Entity
- Theory of semi-instantiation in abstract argumentation
- Introducing Reactive Kripke Semantics and Arc Accessibility
- A family of metainferential logics
- Local Models Semantics, or contextual reasoning = locality + compatibility
- Possibilistic logic: a retrospective and prospective view
- Mechanising Gödel-Löb provability logic in HOL light
- An ecumenical notion of entailment
- Labelled calculi for the logics of rough concepts
- A Kripke Semantics for Hajek's BL
- Provenance calculus and possibilistic logic: a parallel and a discussion
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Proof analysis in intermediate logics
- Relevant consequence relations: an invitation
- Analytic proofs for tense logic
- On temporal references via definite descriptions in first-order monadic logic of order
- Defining logical systems via algebraic constraints on proofs
- Two cases of deduction with non-referring descriptions
- Nested-sequent calculus for modal logic \textbf{MB}
- Boolean weighting in possibilistic logic
- Labelled proof systems for existential reasoning
- A semantic framework for neurosymbolic computation
- A proof-theoretic approach to formal epistemology
- Proof theory and decision procedures for deontic STIT logics
- CERES in higher-order logic
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
- A complete tableau system for basic hybrid logic with propositional quantification
- Types, Tableaus and Gödel’s God in Isabelle/HOL
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
- Logical theories of intention and the database perspective
- A Bayesian approach to informal argument fallacies
- A labeled argumentation framework
- Reasoning with limited resources: active logics expressed as labelled deductive systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4894942)
