Showing 1–18 of 18 results
/ Date/ Name
May 27, 2022Subordination Algebras as Semantic Environment of Input/Output LogicMay 2, 2024Unified inverse correspondence for LE-logicsMar 17, 2022Unified inverse correspondence for DLE-LogicsOct 31, 2022Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theoryJan 4, 2023A Meta-Learning Algorithm for Interrogative AgendasApr 8, 2024Toward the van Benthem Characterization Theorem for Non-Distributive Modal LogicFeb 2, 2022Modal reduction principles across relational semanticsJan 18, 2024Labelled calculi for the logics of rough conceptsMar 5, 2024Obligations and permissions, algebraicallyMar 17, 2025Normative implicationsJan 18, 2024Labelled calculi for lattice-based modal logicsFeb 12, 2024Obligations and permissions on selfextensional logicsAug 23, 2024Flexible categorization using formal concept analysis and Dempster-Shafer theoryDec 19, 2023Outlier detection using flexible categorisation and interrogative agendasJul 18, 2023Non-distributive description logicMar 20, 2024Modal reduction principles: a parametric shift to graphsOct 21, 2023Game semantics for lattice-based modal μ-calculusDec 2, 2024Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space