default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 28
Volume 28, Number 1, February 2018
- Eric Martin, Frank Stephan
:
Implementing fragments of ZFC within an r.e. Universe. 1-32 - Richard Garner, Tom Hirschowitz:
Shapely monads and analytic functors. 33-83 - Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. 85-117 - Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev:
Modal correspondence theory in the class of all Euclidean frames. 119-131 - Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz:
The universal homogeneous binary tree. 133-163 - Luís Pinto, Tarmo Uustalu:
A proof-theoretic study of bi-intuitionistic propositional sequent calculus. 165-202 - Andrew W. Simmons:
On the computational complexity of detecting possibilistic locality. 203-217 - Claudette Cayrol, Didier Dubois, Fayçal Touazi:
Symbolic possibilistic logic: completeness and inference methods. 219-244 - Giuseppe Sergioli, Hector Freytes:
Fuzzy approach to quantum Fredkin gate. 245-263
Volume 28, Number 2, March 2018
- Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. 265-267 - Guillaume Aucher, Johan van Benthem, Davide Grossi:
Modal logics of sabotage revisited. 269-303 - Beishui Liao, Kang Xu, Huaxin Huang:
Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results. 305-335 - Thomas Bolander, Nina Gierasimczuk:
Learning to act: qualitative learning of deterministic action models. 337-365 - Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su:
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. 367-402 - Norihiro Kamide:
Decidable temporal and sequential relevant logics. 403-432 - David Ripley:
On the 'transitivity' of consequence relations. 433-450 - Yanjun Li:
Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions. 451-473
Volume 28, Number 3, April 2018
- João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). 475-476 - Ringo Baumann, Gerhard Brewka:
The equivalence zoo for Dung-style semantics. 477-498 - Louise A. Dennis, Michael Fisher, Matt Webster:
Two-stage agent program verification. 499-523 - Ana Sofia Gomes, José Júlio Alferes:
Combining transactions and automatic repairs. 525-550 - Pere Pardo, Lluís Godo:
A temporal argumentation approach to cooperative planning using dialogues. 551-580 - Wojciech Jamroga, Masoud Tabatabaei:
Accumulative knowledge under bounded resources. 581-604 - Hannes Strass:
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. 605-627
Volume 28, Number 4, June 2018
- Didier Galmiche, David J. Pym:
Preface. 629-630 - Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib:
Alternating-time temporal logic with resource bounds. 631-663 - Gabrielle Anderson, David J. Pym:
Trust domains in system models: algebra, logic, utility, and combinators. 665-703 - Philippe Balbiani, Joseph Boudou:
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. 705-731 - Jean-René Courtault, Didier Galmiche:
A modal separation logic for resource dynamics. 733-778 - Julian Gutierrez:
On fixpoint logics and equivalences for processes with restricted nondeterminism. 779-807 - Zhe Hou, Rajeev Goré, Alwen Tiu:
A labelled sequent calculus for BBI: proof theory and proof search. 809-872
Volume 28, Number 5, July 2018
- Charles A. Stewart, Valeria de Paiva, Natasha Alechina:
Intuitionistic Modal Logic: A 15-year retrospective. 873-882 - Jens Ulrik Hansen, Thomas Bolander, Torben Braüner:
Many-valued hybrid logic. 883-908 - Francisco Bavera, Eduardo Bonelli:
Justification logic and audited computation. 909-934 - Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi:
On an intuitionistic logic for pragmatics. 935-966 - Didier Galmiche, Yakoub Salhi:
Tree-sequent calculi and decision procedures for intuitionistic modal logics. 967-989
Volume 28, Number 6, September 2018
- Sebastian Enqvist, Sumit Sourabh:
Bisimulations for coalgebras on Stone spaces. 991-1010 - Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Accelerating LTL satisfiability checking by SAT solvers. 1011-1030 - Grigory K. Olkhovikov:
Stit logic of justification announcements: a completeness result. 1031-1064 - Sebastian Enqvist:
Flat modal fixpoint logics with the converse modality. 1065-1097 - Igor Douven, Hans Rott:
From probabilities to categorical beliefs: Going beyond toy models. 1099-1124 - Arnold Beckmann, Norbert Preining:
Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning. 1125-1187 - Gerard R. Renardel de Lavalette:
Interpolation in propositional Horn logic. 1189-1215 - Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama:
The strength of SCT soundness. 1217-1242 - Giorgio Magri:
A note on phonological similarity in Tesar's (2014) theory of output-drivenness. 1243-1274 - Antonio Di Nola, Serafina Lapenta, Ioana Leustean:
Infinitary logic and basically disconnected compact Hausdorff spaces. 1275-1292 - Nicola Angius, Giuseppe Primiero:
The logic of identity and copy for computational artefacts. 1293-1322 - Lorenz Demey:
Computing the maximal Boolean complexity of families of Aristotelian diagrams. 1323-1339 - Ori Lahav, Yoni Zohar:
From the subformula property to cut-admissibility in propositional sequent calculi. 1341-1366
Volume 28, Number 7, October 2018
- Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao:
Unified correspondence as a proof-theoretic tool. 1367-1442 - Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel:
Satisfiability for relation-changing logics. 1443-1470 - Arianna Novaro, Umberto Grandi, Andreas Herzig:
Judgment aggregation in dynamic logic of propositional assignments. 1471-1498 - Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev:
Strong jump inversion. 1499-1522 - Ofer Arieli, Annemarie Borg, Christian Straßer:
Reasoning with maximal consistency by argumentative approaches. 1523-1563 - Filippo Sestini, Silvia Crafa:
Proof search in a context-sensitive logic for molecular biology. 1565-1600 - Nicolas Schwind, Sébastien Konieczny, Pierre Marquis:
Belief base rationalization for propositional merging. 1601-1634 - Vladimir Gurvich:
Backward induction in presence of cycles. 1635-1646 - Kaya Deuser, Pavel Naumov:
Navigability with intermediate constraints. 1647-1670 - Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic:
On the aggregation of argumentation frameworks: operators and postulates. 1671-1699 - Rosalie Iemhoff:
Terminating sequent calculi for two intuitionistic modal logics. 1701-1712
Volume 28, Number 8, December 2018
- Davide Grossi, Olivier Roy:
Introduction: Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4). 1713-1714
- Natasha Alechina, Fenrong Liu, Brian Logan:
Efficient minimal preference change. 1715-1733 - Fengkui Ju, Li Liang:
Commands changing obligations 1. 1735-1755 - Xin Sun:
Proof theory, semantics and algebra for normative systems. 1757-1779 - Minghui Ma, Katsuhiko Sano:
How to update neighbourhood models. 1781-1804 - Fernando R. Velázquez-Quesada:
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. 1805-1832
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-08 09:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
