Shortcuts and dynamic marking in the tableau method for adaptive logics
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1612547
- Tableau methods for substructural logics
- Tableaux and algorithms for Propositional Dynamic Logic with Converse
- Tableau methods for modal and temporal logics
- Tableaux methods for propositional dynamic logics with separating parallel composition
- Tableaux with Dynamic Filtration for Layered Modal Logics
- Tableau methods for a logic with term declarations
- Tableaux for constructive concurrent dynamic logic
- Tableau reasoning and programming with dynamic first order logic
- Tableau-based Decision Procedures for Hybrid Logic
Cited in
(8)- A procedural criterion for final derivability in inconsistency-adaptive logics
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study
- The theory of the process of explanation generalized to include the inconsistent case
- Frontier theory of inquiry: apparent conflicts between the Ghent logical program and the ``Darwinian selectionist program
- The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
- Tutorial on Inconsistency-Adaptive Logics
- Socratic proofs and paraconsistency: A case study
- On the exclusivity implicature of `or' or on the meaning of eating strawberries
This page was built for publication: Shortcuts and dynamic marking in the tableau method for adaptive logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5955615)
