Works matching IS 13670751 AND DT 2012 AND VI 20 AND IP 1
Results: 20
Inconsistent-tolerant base revision through Argument Theory Change.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 154, doi. 10.1093/jigpal/jzr029
- By:
- Publication type:
- Article
The difference between optimality and universality.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 222, doi. 10.1093/jigpal/jzr032
- By:
- Publication type:
- Article
A logic of agent organizations.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 283, doi. 10.1093/jigpal/jzr041
- By:
- Publication type:
- Article
Unification and projectivity in Fregean varieties.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 73, doi. 10.1093/jigpal/jzr026
- By:
- Publication type:
- Article
A first-order conditional probability logic.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 235, doi. 10.1093/jigpal/jzr033
- By:
- Publication type:
- Article
Which classical correspondence is valid in intuitionistic modal logic?
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 331, doi. 10.1093/jigpal/jzr044
- By:
- Publication type:
- Article
Self provers and Σ1 sentences.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 1, doi. 10.1093/jigpal/jzp096
- By:
- Publication type:
- Article
Corrigendum.
- Published in:
- 2012
- Publication type:
- Correction Notice
Syntactic characterizations of completeness using duals and operators.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 266, doi. 10.1093/jigpal/jzr035
- By:
- Publication type:
- Article
On Löb algebras, II.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 27, doi. 10.1093/jigpal/jzr024
- By:
- Publication type:
- Article
(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 187, doi. 10.1093/jigpal/jzr030
- By:
- Publication type:
- Article
Epimorphisms are not surjective, even in simple algebras.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 22, doi. 10.1093/jigpal/jzq047
- By:
- Publication type:
- Article
Double sequences, almost Cauchyness and BD-N.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 349, doi. 10.1093/jigpal/jzr045
- By:
- Publication type:
- Article
Hierarchic adaptive logics.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 45, doi. 10.1093/jigpal/jzr025
- By:
- Publication type:
- Article
Ticket Entailment plus the mingle axiom has the variable-sharing property.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 355, doi. 10.1093/jigpal/jzr046
- By:
- Publication type:
- Article
On a super large fixed-point of common information in multi-agent signalling games.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 94, doi. 10.1093/jigpal/jzr027
- By:
- Publication type:
- Article
Compactness in first order Łukasiewicz logic.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 254, doi. 10.1093/jigpal/jzr034
- By:
- Publication type:
- Article
Soundness and completeness of the Cirquent calculus system CL6 for computability logic.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 317
- By:
- Publication type:
- Article
Projective unification in modal logic.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 121, doi. 10.1093/jigpal/jzr028
- By:
- Publication type:
- Article
Lambek grammars with one division and one primitive type.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 207, doi. 10.1093/jigpal/jzr031
- By:
- Publication type:
- Article