Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Unified correspondence as a proof-theoretic tool
Greco, Giuseppe, Ma, Minghui, Palmigiano, Alessandra, Tzimoulis, Apostolos, Zhao, Zhiguang
Published in Journal of logic and computation (01.10.2018)
Published in Journal of logic and computation (01.10.2018)
Get full text
Journal Article
Attack-defense trees
Kordy, B., Mauw, S., Radomirovic, S., Schweitzer, P.
Published in Journal of logic and computation (01.02.2014)
Published in Journal of logic and computation (01.02.2014)
Get full text
Journal Article
There are no minimal essentially undecidable theories
Murwanashyaka, Juvenal, Pakhomov, Fedor, Visser, Albert
Published in Journal of logic and computation (06.09.2024)
Published in Journal of logic and computation (06.09.2024)
Get full text
Journal Article
Care-theoretic semantics
Ferguson, Thomas Macaulay, Kadlečíková, Jitka
Published in Journal of logic and computation (01.10.2025)
Published in Journal of logic and computation (01.10.2025)
Get full text
Journal Article
Efficient compliance checking of RDF data
Robaldo, Livio, Pacenza, Francesco, Zangari, Jessica, Calegari, Roberta, Calimeri, Francesco, Siragusa, Giovanni
Published in Journal of logic and computation (11.12.2023)
Published in Journal of logic and computation (11.12.2023)
Get full text
Journal Article
Modal logics of sabotage revisited
Aucher, Guillaume, Benthem, Johan van, Grossi, Davide
Published in Journal of logic and computation (06.03.2018)
Published in Journal of logic and computation (06.03.2018)
Get full text
Journal Article
Descriptive complexity for distributed computing with circuits
Published in Journal of logic and computation
(01.07.2025)
Get full text
Journal Article
Semitopology: a topological approach to decentralized collaborative action
Published in Journal of logic and computation
(01.07.2025)
Get full text
Journal Article
Towards determinism in PDL: relations and proof theory
Published in Journal of logic and computation
(01.07.2025)
Get full text
Journal Article
Uniform lyndon interpolation for basic non-normal modal and conditional logics
Akbar Tabatabai, Amirhossein, Iemhoff, Rosalie, Jalali, Raheleh
Published in Journal of logic and computation (01.09.2025)
Published in Journal of logic and computation (01.09.2025)
Get full text
Journal Article
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Published in Journal of logic and computation
(08.03.2025)
Get full text
Journal Article
Logics of spatial isolation
Başkent, Can, Gilbert, David R, Venturi, Giorgio
Published in Journal of logic and computation (01.10.2025)
Published in Journal of logic and computation (01.10.2025)
Get full text
Journal Article
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic
Olivieri, Francesco, Cristani, Matteo, Governatori, Guido, Pasetto, Luca, Rotolo, Antonino, Scannapieco, Simone, Tomazzoli, Claudio, Chekole Workneh, Tewabe
Published in Journal of logic and computation (01.10.2025)
Published in Journal of logic and computation (01.10.2025)
Get full text
Journal Article