Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2021.100679
+Normal rank
@@ Property / OpenAlex ID @@
+W3141454231
@@ Property / OpenAlex ID: W3141454231 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Axioms for classical, intuitionistic, and paraconsistent hybrid logic
+Normal rank
@@ Property / cites work @@
+Paraconsistency in hybrid logic
@@ Property / cites work: Paraconsistency in hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+A four-valued hybrid logic with non-dual modal operators
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing inconsistent first-order knowledgebases
@@ Property / cites work: Analysing inconsistent first-order knowledgebases / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
+Normal rank
@@ Property / cites work @@
+Q4581210
@@ Property / cites work: Q4581210 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued hybrid logic
@@ Property / cites work: Many-valued hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Disentangling \textsf{FDE}-based paraconsistent modal logics
+Normal rank