default search action
Journal 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
Shapely monads and analytic functors. 33-83 - Stefano Bistarelli
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. 85-117 - Philippe Balbiani
Modal correspondence theory in the class of all Euclidean frames. 119-131 - Manuel Bodirsky
The universal homogeneous binary tree. 133-163 - Luís Pinto
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
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. 265-267 - Guillaume Aucher
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
Learning to act: qualitative learning of deterministic action models. 337-365 - Johan van Benthem, Jan van Eijck, Malvin Gattinger
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
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
Two-stage agent program verification. 499-523 - Ana Sofia Gomes
Combining transactions and automatic repairs. 525-550 - Pere Pardo
A temporal argumentation approach to cooperative planning using dialogues. 551-580 - Wojciech Jamroga
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
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
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
A labelled sequent calculus for BBI: proof theory and proof search. 809-872
Volume 28, Number 5, July 2018
- Charles A. Stewart
Intuitionistic Modal Logic: A 15-year retrospective. 873-882 - Jens Ulrik Hansen
Many-valued hybrid logic. 883-908 - Francisco Bavera, Eduardo Bonelli:
Justification logic and audited computation. 909-934 - Gianluigi Bellin, Massimiliano Carrara
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
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
From the subformula property to cut-admissibility in propositional sequent calculi. 1341-1366
Volume 28, Number 7, October 2018
- Giuseppe Greco
Unified correspondence as a proof-theoretic tool. 1367-1442 - Carlos Areces
Satisfiability for relation-changing logics. 1443-1470 - Arianna Novaro
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
Strong jump inversion. 1499-1522 - Ofer Arieli, Annemarie Borg
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
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
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
Introduction: Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4). 1713-1714
- Natasha Alechina
Efficient minimal preference change. 1715-1733 - Fengkui Ju
Commands changing obligations 1. 1735-1755 - Xin Sun:
Proof theory, semantics and algebra for normative systems. 1757-1779 - Minghui Ma
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 2024-11-25 22:32 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: