Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic

2024-9-6

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex

2024-9-3

Proceedings of the XX Encontro Brasileiro de Lógica

2024-8-30

A representation theory for modal distributive lattices

2024-8-29

Modal weak Kleene logics: axiomatizations and relational semantics

2024-8-27

A Gödel-Dugundji-style theorem for the minimal structural logic

2024-8-27

On some computational properties of open sets

2024-8-15

Perfect proofs at first order

2024-8-7

Intuitionistic S4 as a logic of topological spaces

2024-8-6

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality

2024-8-5

Avicenna’s logics with sentence-type terms: 1. Wholly <i>muttaṣil</i> syllogisms

2024-7-31

Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation

2024-7-31

Nonconservative extensions by propositional quantifiers and modal incompleteness

2024-7-31

Temporal duration-based probabilistic argumentation frameworks

2024-7-31

Classical computation over quantum architectures

2024-7-31

Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics

2024-7-29

The XAI system for answer set programming xASP2

2024-7-29

Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data

2024-7-29

Serial properties, selector proofs and the provability of consistency

2024-7-26

Advances in computational logic (CILC23): preface

2024-7-24

Dynamic superiorities in Defeasible Logic

2024-7-22

The mathematics of Epstein semantics

2024-6-12

Numerical expressive power of logical languages with cardinality comparison

2024-6-11

90 years of Gödel’s incompleteness theorems: Logic and computation

2024-5-28

Modal algebra of multirelations

2024-5-28

Towards determinism in PDL: relations and proof theory

2024-5-21

Expanding the Leibniz Hierarchy

2024-5-15

Temporal logics for compartmental models

2024-5-8

Estimating event probabilities via signal temporal logic and first occurrence distributions

2024-4-24

Completeness of tableau calculi for two-dimensional hybrid logics

2024-4-18

Attack principles in sequent-based argumentation theory

2024-4-15

Necessary and sufficient conditions of the enforcement problem for various argumentation semantics

2024-4-11

Correction to: Modalities combining two negations

2024-4-7

Analyticity with extra-logical information

2024-4-4

A correct-by-construction approach for development of reliable planning problems

2024-4-2

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations

2024-4-1

Changing the logic without changing the subject: the case of computability

2024-4-1

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

2024-3-31

Low scattered linear orders

2024-3-20

☐ and ◇ in eight-valued non-deterministic semantics for modal logics

2024-3-20

Bipolar Argumentation Frameworks with a dual relation between defeat and defence

2024-3-9

An alternative definition of tense operators on residuated lattices

2024-3-6

Probability and natural deduction

2024-3-6

Correction to: Conjunctive degrees and cylinders

2024-2-28

Congruence filter pairs, equational filter pairs and adjoints

2024-2-26

Modalities combining two negations

2024-2-13

Computably enumerable equivalence relations via primitive recursive reductions

2024-1-30

Advancing Logic in AI: insights from the LNGAI 2021 Workshop

2024-1-24

On sheaves on semicartesian quantales and their truth values

2024-1-22

Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

2024-1-15