Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.
Walter CarnielliMarcelo E. ConiglioDavid FuenmayorPublished in: Rev. Symb. Log. (2022)
Keyphrases
- modal logic
- classical logic
- nonmonotonic logics
- valued semantics
- expressive power
- inference rules
- temporal logic
- formal methods
- valued logic
- formal model
- formal specification
- decision procedures
- database
- formal analysis
- model checking
- website
- epistemic logic
- dynamic logic
- data mining
- consistent query answering
- propositional variables
- real time