Some intensional logics defined by relating semantics and tableau systems
From MaRDI portal
Publication:2086530
Recommendations
- Relating semantics as fine-grained semantics for intensional logics
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
- scientific article; zbMATH DE number 6316278
- History of relating logic. The origin and research directions
- scientific article; zbMATH DE number 4061209
Cited in
(16)- Axiomatization of some basic and modal Boolean connexive logics
- Relating semantics as fine-grained semantics for intensional logics
- Tableaux for logics of content relationship and set-assignment semantics
- scientific article; zbMATH DE number 4061209 (Why is no real title available?)
- Интенсиональные семантики для некоторых систем позитивной силлогистики
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
- History of relating logic. The origin and research directions
- Relating semantics for epistemic logic
- Incorporating the relation into the language? A survey of approaches in relating logic
- scientific article; zbMATH DE number 6316278 (Why is no real title available?)
- Tableau Systems for Epistemic Positional Logics
- Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
- Tableaux for some deontic logics with the explicit permission operator
- Some remarks on the logic of probabilistic relevance
- A variety of connexive logics in the light of relating semantics
- Generalized Epstein semantics for Parry systems
This page was built for publication: Some intensional logics defined by relating semantics and tableau systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2086530)
