Search Results

Filter
  • 1-10 of  128 results for ""AXIOMS""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.

  • Source: Logic Journal of the IGPL. Feb2022, Vol. 30 Issue 1, p155-185. 31p.

Record details

×
Academic Journal

Why the Axiom of Choice Sometimes Fails.

  • Source: Logic Journal of the IGPL. Dec2020, Vol. 28 Issue 6, p1207-1217. 11p.

Record details

×
Academic Journal

The Axiom of Choice and the Partition Principle from Dialectica Categories.

  • Source: Logic Journal of the IGPL. Oct2021, Vol. 29 Issue 5, p783-797. 15p.

Record details

×
Academic Journal

Preservation of choice principles under realizability.

  • Source: Logic Journal of the IGPL. Oct2019, Vol. 27 Issue 5, p746-765. 20p.

Record details

×
Academic Journal

Modal dependence logics: axiomatizations and model-theoretic properties.

  • Source: Logic Journal of the IGPL. Oct2017, Vol. 25 Issue 5, p773-805. 33p.

Record details

×
Academic Journal

Gödel's second incompleteness theorem for Σn-definable theories.

  • Source: Logic Journal of the IGPL. Apr2018, Vol. 26 Issue 2, p255-257. 3p.

Record details

×
Academic Journal

Complexity of logics for multi-agent systems with restricted modal context.

  • Source: Logic Journal of the IGPL. Jun2013, Vol. 21 Issue 3, p355-379. 25p.

Record details

×
Academic Journal

Strong, universal and provably non-trivial set theory by means of adaptive logic.

  • Source: Logic Journal of the IGPL. Feb2013, Vol. 21 Issue 1, p108-125. 18p.

Record details

×
Academic Journal

A generalized cut characterization of the fullness axiom in CZF.

  • Source: Logic Journal of the IGPL. Feb2013, Vol. 21 Issue 1, p63-76. 14p.

Record details

×
  • 1-10 of  128 results for ""AXIOMS""