scientific article; zbMATH DE number 1395652
zbMATH Open0956.03001MaRDI QIDQ4935259FDOQ4935259
Authors:
Publication date: 31 January 2000
Title of this publication is not available (Why is that?)
Recommendations
Collections of articles of miscellaneous specific interest (00B15) Proof theory in general (including proof-theoretic semantics) (03F03) Mechanization of proofs and logical operations (03B35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Cited In (28)
- Title not available (Why is that?)
- The complexity of identifying characteristic formulae
- Quantified temporal alethic boulesic doxastic logic
- A general tableau method for propositional interval temporal logics: theory and implementation
- A note on the complexity of \textbf{S4.2}
- Modal logics with hard diamond-free fragments
- Linearity and regularity with negation normal form
- Informational semantics, non-deterministic matrices and feasible deduction
- Title not available (Why is that?)
- On multiple conclusion deductions in classical logic
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
- Doxastic logic: a new approach
- A system for deduction-based formal verification of workflow-oriented software models
- Signed dual tableaux for Kleene answer set programs
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
- Title not available (Why is that?)
- Syllogistic relevance and term logic
- Barcan Both Ways
- Tableaux and related methods
- Automated Reasoning with Analytic Tableaux and Related Methods
- An informational view of classical logic
- Natural deduction calculi for classical and intuitionistic S5
- Prefixed tableaus and nested sequents
- Kripke's worlds. An introduction to modal logics via tableaux
- A qualitative temporal extension of here-and-there logic
- Stable philosophical systems and radical anti-realism
- Goal-directed tableaux
- Quantified temporal alethic-deontic logic
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 Q4935259)
