scientific article; zbMATH DE number 7592011
From MaRDI portal
Publication:5868872
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Cut-elimination and normal-form theorems (03F05)
Cited in
(36)- A first-order logic with no logical constants
- Actuality, tableaux, and two-dimensional modal logics
- First-order modal logic
- Inductive reasoning in social choice theory
- Making sense of raw input
- Regression and progression in stochastic domains
- Rigid first-order hybrid logic
- scientific article; zbMATH DE number 5000990 (Why is no real title available?)
- scientific article; zbMATH DE number 4145877 (Why is no real title available?)
- scientific article; zbMATH DE number 1028229 (Why is no real title available?)
- scientific article; zbMATH DE number 1078591 (Why is no real title available?)
- The monadic hybrid calculus
- First order in Ludics
- First order expressivist logic
- scientific article; zbMATH DE number 824731 (Why is no real title available?)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
- An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
- Vagueness as an epiphenomenon, and non-transitivity
- scientific article; zbMATH DE number 3251384 (Why is no real title available?)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution
- Relating Z and first-order logic
- (I can't get no) antisatisfaction
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
- Abduction as deductive saturation: a proof-theoretic inquiry
- Ordered Fragments of First-Order Logic
- First-order modal logic
- Non-classical logics in satisfiability modulo theories
- Propositional logic for infinitive sentences
- Bilattice tableau calculi with rough set semantics
- SeCaV: a sequent calculus verifier in Isabelle/HOL
- Simple tableaus for simple intuitionistic logics
- Hintikka's conception of syntheticity as the introduction of new individuals
- Formalized soundness and completeness of epistemic and public announcement logic
- Bits and pieces: understanding information decomposition from part-whole relationships and formal logic
- Synthetic completeness for a terminating Seligman-style tableau system
- Synthetic Completeness
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 Q5868872)
