scientific article; zbMATH DE number 3274715

Cited in

(only showing first 100 items - show all)

The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
Supervaluationism and logical consequence: A third way
How true it is = who says it's true
Wittgensteinian tableaux, identity, and co-denotation
First order Stålmarck. Universal lemmas through branch merges
Dialogues, strategies, and intuitionistic provability
Proof theory for linear lattices
A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
Structured algebraic specifications: A kernel language
Partial models and logic programming
A compact representation of proofs
Synthesis of communicating process skeletons from temporal-spatial logic specifications
Tableau systems for paraconsistency and minimal inconsistency
A near-optimal method for reasoning about action
A sieve for entailments
A proof system for the first-order relational calculus
Application of modal logic to programming
TABLEAUX: A general theorem prover for modal logics
On a KTB-modal fuzzy logic
A guide to completeness and complexity for modal logics of knowledge and belief
A truncation technique for clausal analytic tableaux
Logic, sets, and mathematics
A complete negationless system
Analytic resolution in theorem proving
Tavole semantiche per sistemi astratti di logica estensionale
Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality
Relevant analytic tableaux
A first-order logic with no logical constants
Representing scope in intuitionistic deductions
Proof methods for reasoning about possibility and necessity
Gentzen-type systems, resolution and tableaux
A tableau-like proof procedure for normal modal logics
On the relative merits of path dissolution and the method of analytic tableaux
Accelerating tableaux proofs using compact representations
Controlled integration of the cut rule into connection tableau calculi
The liberalized -rule in free variable semantic tableaux
Tableau-based characterization and theorem proving for default logic
Uncertainty, predictability and decidability in chaotic dynamical systems
Algebraic proofs of cut elimination
A proper hierarchy of propositional sequent calculi
The relative complexity of resolution and cut-free Gentzen systems
The expected complexity of analytic tableaux analyses in propositional calculus. II
A theory of nonmonotonic rule systems. II
Tableau method for residuated logic
The complexity of concept languages
Revision programming
Four-valued logic
Probability and logic.
A fuzzy logic with interval truth values
The proof complexity of analytic and clausal tableaux
On the intuitionistic force of classical search
Search algorithms in type theory
The revival of rejective negation
EXPtime tableaux for ALC
Interpolation methods for Dunn logics and their extensions
Logical dialogues with explicit preference profiles and strategy selection
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
A procedural criterion for final derivability in inconsistency-adaptive logics
Intuitive semantics for first-degree entailments and `coupled trees'
Key notions of Tarski's methodology of deductive systems
Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
Hoare's logic for nondeterministic regular programs: A nonstandard approach
A definitive probabilistic semantics for first-order logic
The theory of functional and subset dependencies over relational expressions
Using tableaux to automate the Lambek and other categorial calculi
First-order modal logic
Socratic proofs
Locally Boolean spectra
Default reasoning by deductive planning
Tableaus for many-valued modal logic
The logic of non-contingency
Ontologically minimal logical semantics
On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
A logical framework for evolving software systems
On finite-valued propositional logical calculi
Many-valued logic and mixed integer programming
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
Distributive-lattice semantics of sequent calculi with structural rules
Guest editor's introduction: JvH100
Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
Jean van Heijenoort's contributions to proof theory and its history
Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
Temporal alethic-deontic logic and semantic tableaux
Reasoning processes in propositional logic
Knowledge-based proof planning
Strategies of inquiry, the `Sherlock holmes sense of deduction' revisited
Beyond graph neural networks with lifted relational neural networks
Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
Formalizing a Seligman-style tableau system for hybrid logic (short paper)
Synthetic tableaux: Minimal tableau search heuristics
Did Descartes make a diagonal argument?
Analytic tableaux for non-deterministic semantics
Eliminating models during model elimination
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \)
A note on cut-elimination for classical propositional logic
A non-clausal tableau calculus for \textsc{MinSat}
An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system
A survey of nonstandard sequent calculi
Decision procedures and expressiveness in the temporal logic of branching time

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 Q5560258)