:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Antić, Christian
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2605.03613
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Neural logic programs and neural nets
by: Antić, Christian
Published: (2024)

Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Logic-based analogical proportions
by: Antić, Christian
Published: (2024)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

Sequential composition of answer set programs
by: Antić, Christian
Published: (2021)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Analogical proportions II
by: Antić, Christian
Published: (2024)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Bilingual analogical proportions via hedges
by: Antić, Christian
Published: (2023)

Generalization-baed similarity
by: Antić, Christian
Published: (2023)

Proportoids
by: Antić, Christian
Published: (2022)

Foundations of logic programming in hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

Boolean proportions
by: Antić, Christian
Published: (2021)

Analogical proportions
by: Antić, Christian
Published: (2020)

Algebraic anti-unification
by: Antić, Christian
Published: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

The higher dimensional propositional calculus
by: Bucciarelli, Antonio, et al.
Published: (2022)

The flattening operator in team-based logics
by: Durand, Arnaud, et al.
Published: (2025)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

Operational semantics and program verification using many-sorted hybrid modal logic
by: Leustean, Ioana, et al.
Published: (2019)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
by: Cropper, Andrew, et al.
Published: (2024)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Reduction Free Normalisation for a proof irrelevant type of propositions
by: Coquand, Thierry
Published: (2021)

A denotationally-based program logic for higher-order store
by: Aagaard, Frederik Lerbjerg, et al.
Published: (2023)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Further remarks on the dual negation in team logics
by: Anttila, Aleksi
Published: (2024)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

A joint logic of problems and propositions
by: Melikhov, Sergey A.
Published: (2025)