scientific article; zbMATH DE number 1749009
From MaRDI portal
Publication:4530621
zbMath1003.03001MaRDI QIDQ4530621
Publication date: 4 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexitycompletenessHorn clausesnormalizationKripke semanticssoundnessnonclassical logicdecision proceduresIsabellelabelled deductive systemsrelational theoryinteractive proof developmentlabelling algebralabelled natural deduction systemsminimal metalogicmodal sequent systems
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (32)
From axioms to synthetic inference rules via focusing ⋮ A linear logic framework for multimodal logics ⋮ A dual-context sequent calculus for the constructive modal logic S4 ⋮ A spatial logic for concurrency. II ⋮ Syntactic Completeness of Proper Display Calculi ⋮ A History of Until ⋮ Labeled sequent calculus for justification logics ⋮ Semantics, calculi, and analysis for object-oriented specifications ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ Labeled sequent calculi for modal logics and implicit contractions ⋮ Compositional meaning in logic ⋮ An ecumenical notion of entailment ⋮ A polynomial space construction of tree-like models for logics with local chains of modal connectives ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ A two‐dimensional metric temporal logic ⋮ Cut Elimination for Extended Sequent Calculi ⋮ An Investigation into Intuitionistic Logic with Identity ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ A fresh view of linear logic as a logical framework ⋮ Through an Inference Rule, Darkly ⋮ Proofs and countermodels in non-classical logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Unnamed Item ⋮ A Labeled Natural Deduction System for a Fragment of CTL * ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Event-based time-stamped claim logic ⋮ Introducing identity ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Hybridizing a Logical Framework ⋮ On the proof theory of infinitary modal logic ⋮ Proof analysis in modal logic
Uses Software
This page was built for publication: