scientific article; zbMATH DE number 1395652
From MaRDI portal
Publication:4935259
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)
Recommendations
Cited in
(28)- The complexity of identifying characteristic formulae
- scientific article; zbMATH DE number 7447742 (Why is no real title available?)
- 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}
- Linearity and regularity with negation normal form
- Modal logics with hard diamond-free fragments
- Informational semantics, non-deterministic matrices and feasible deduction
- scientific article; zbMATH DE number 51460 (Why is no real title available?)
- 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}\)
- scientific article; zbMATH DE number 2079261 (Why is no real title available?)
- 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
- Prefixed tableaus and nested sequents
- Natural deduction calculi for classical and intuitionistic S5
- 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)
