A modal logic for supervised learning (Q2155207): 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.1007/s10849-022-09359-w
+Normal rank
@@ Property / OpenAlex ID @@
+W4220897616
@@ Property / OpenAlex ID: W4220897616 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Moving Arrows and Four Model Checking Results
@@ Property / cites work: Moving Arrows and Four Model Checking Results / rank @@
+Normal rank
@@ Property / cites work @@
+Relation-changing modal operators: Fig. 1.
@@ Property / cites work: Relation-changing modal operators: Fig. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability for relation-changing logics
@@ Property / cites work: Satisfiability for relation-changing logics / rank @@
+Normal rank
@@ Property / cites work @@
+THE EXPRESSIVE POWER OF MEMORY LOGICS
@@ Property / cites work: THE EXPRESSIVE POWER OF MEMORY LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics of sabotage revisited
@@ Property / cites work: Modal logics of sabotage revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A topological approach to full belief
@@ Property / cites work: A topological approach to full belief / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Finite identification from the viewpoint of epistemic update
+Normal rank
@@ Property / cites work @@
+Bridging learning theory and dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+Learning by Erasing in Dynamic Epistemic Logic
@@ Property / cites work: Learning by Erasing in Dynamic Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Learning and Teaching as a Game: A Sabotage Approach
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Recurring Dominoes: Making the Highly Undecidable Highly Understandable
+Normal rank
@@ Property / cites work @@
+Normal monomodal logics can simulate all others
@@ Property / cites work: Normal monomodal logics can simulate all others / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic and dual monotonic language learning
@@ Property / cites work: Monotonic and dual monotonic language learning / rank @@
+Normal rank
@@ Property / cites work @@
+Losing connection: the modal logic of definable link deletion
+Normal rank
@@ Property / cites work @@
+On the subtle nature of a simple logic of the hide and seek game
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5404483
@@ Property / cites work: Q5404483 / rank @@
+Normal rank
@@ Property / cites work @@
+THE MODAL LOGIC OF STEPWISE REMOVAL
@@ Property / cites work: THE MODAL LOGIC OF STEPWISE REMOVAL / rank @@
+Normal rank