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