Write in a clean editor, then format for Logic Journal of IGPL in one click — DocuGuru applies the official Oxford University Press template with author–year references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
Logic Journal of IGPL is a peer-reviewed journal published by Oxford University Press, covering Logic, Reasoning, and Knowledge, Advanced Algebra and Logic, Logic, programming, and type systems.
| Publisher | Oxford University Press |
|---|---|
| Reference style | Author–year (OUP) Author–year — (Smith, 2023) in the text Smith, A., Jones, B. and Lee, C. (2023) 'A representative article title', Logic Journal of IGPL, 12(3), pp. 45–58.
Formats any DOI in the closest standard style — Logic Journal of IGPL has no published style definition, so this is an approximation. No sign-up. |
| Publishes research in | Logic, Reasoning, and Knowledge Advanced Algebra and Logic Logic, programming, and type systems Semantic Web and Ontologies Multi-Agent Systems and Negotiation |
| ISSN | 1367-0751 |
| Citation impact (2-yr) | 0.96 |
| h-index | 50 |
| i10-index | 427 |
| Total citations | 16,480 |
| Article processing charge | $4,151 |
| Top institutions publishing here | Universidad de Salamanca |
| Journal website | jigpal.oxfordjournals.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
It is a standard feature of norm-governed institutions that designated agents are empowered to create particular kinds of states of affairs by means of the performance of specified types of actions. Frequently, the states of affairs are of a normative kind, in the sense that they pertain to rights and obligations, as for instance when…
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satisfiability of the DL ALC extended with transitive and inverse roles, role hierarchies,…
We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the…
This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad. In essence, modal logic is a simple formalism for working with relational structures (or multigraphs). But modal logic has no mechanism for referring to or reasoning about the…
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the…
